/ Amiga Tools 2 / Amiga Tools 2.iso / tex / macros / source / packages / amslatex / classes / amsthm.dtx

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 25 20 3d 3d 3d 3d | 3d 3d 3d 3d 3d 3d 3d 3d |%%% ====|========|
|00000010| 3d 3d 3d 3d 3d 3d 3d 3d | 3d 3d 3d 3d 3d 3d 3d 3d |========|========|
|00000020| 3d 3d 3d 3d 3d 3d 3d 3d | 3d 3d 3d 3d 3d 3d 3d 3d |========|========|
|00000030| 3d 3d 3d 3d 3d 3d 3d 3d | 3d 3d 3d 3d 3d 3d 3d 3d |========|========|
|00000040| 3d 3d 3d 3d 3d 3d 3d 3d | 0a 25 25 25 20 20 40 4c |========|.%%%  @L|
|00000050| 61 54 65 58 2d 66 69 6c | 65 7b 0a 25 25 25 20 20 |aTeX-fil|e{.%%%  |
|00000060| 20 20 20 66 69 6c 65 6e | 61 6d 65 20 20 3d 20 22 |   filen|ame  = "|
|00000070| 61 6d 73 74 68 6d 2e 64 | 74 78 22 2c 0a 25 25 25 |amsthm.d|tx",.%%%|
|00000080| 20 20 20 20 20 76 65 72 | 73 69 6f 6e 20 20 20 3d |     ver|sion   =|
|00000090| 20 22 31 2e 32 61 22 2c | 0a 25 25 25 20 20 20 20 | "1.2a",|.%%%    |
|000000a0| 20 64 61 74 65 20 20 20 | 20 20 20 3d 20 22 31 39 | date   |   = "19|
|000000b0| 39 35 2f 30 32 2f 30 31 | 22 2c 0a 25 25 25 20 20 |95/02/01|",.%%%  |
|000000c0| 20 20 20 74 69 6d 65 20 | 20 20 20 20 20 3d 20 22 |   time |     = "|
|000000d0| 31 31 3a 31 31 3a 30 39 | 20 45 53 54 22 2c 0a 25 |11:11:09| EST",.%|
|000000e0| 25 25 20 20 20 20 20 63 | 68 65 63 6b 73 75 6d 20 |%%     c|hecksum |
|000000f0| 20 3d 20 22 36 31 39 37 | 30 20 36 38 31 20 33 31 | = "6197|0 681 31|
|00000100| 37 33 20 32 36 30 33 34 | 22 2c 0a 25 25 25 20 20 |73 26034|",.%%%  |
|00000110| 20 20 20 61 75 74 68 6f | 72 20 20 20 20 3d 20 22 |   autho|r    = "|
|00000120| 41 6d 65 72 69 63 61 6e | 20 4d 61 74 68 65 6d 61 |American| Mathema|
|00000130| 74 69 63 61 6c 20 53 6f | 63 69 65 74 79 22 2c 0a |tical So|ciety",.|
|00000140| 25 25 25 20 20 20 20 20 | 63 6f 70 79 72 69 67 68 |%%%     |copyrigh|
|00000150| 74 20 3d 20 22 43 6f 70 | 79 72 69 67 68 74 20 28 |t = "Cop|yright (|
|00000160| 43 29 20 31 39 39 35 20 | 41 6d 65 72 69 63 61 6e |C) 1995 |American|
|00000170| 20 4d 61 74 68 65 6d 61 | 74 69 63 61 6c 20 53 6f | Mathema|tical So|
|00000180| 63 69 65 74 79 2c 0a 25 | 25 25 20 20 20 20 20 20 |ciety,.%|%%      |
|00000190| 20 20 20 20 20 20 20 20 | 20 20 20 20 61 6c 6c 20 |        |    all |
|000001a0| 72 69 67 68 74 73 20 72 | 65 73 65 72 76 65 64 2e |rights r|eserved.|
|000001b0| 20 20 43 6f 70 79 69 6e | 67 20 6f 66 20 74 68 69 |  Copyin|g of thi|
|000001c0| 73 20 66 69 6c 65 20 69 | 73 0a 25 25 25 20 20 20 |s file i|s.%%%   |
|000001d0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 61 |        |       a|
|000001e0| 75 74 68 6f 72 69 7a 65 | 64 20 6f 6e 6c 79 20 69 |uthorize|d only i|
|000001f0| 66 20 65 69 74 68 65 72 | 3a 0a 25 25 25 20 20 20 |f either|:.%%%   |
|00000200| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 28 |        |       (|
|00000210| 31 29 20 79 6f 75 20 6d | 61 6b 65 20 61 62 73 6f |1) you m|ake abso|
|00000220| 6c 75 74 65 6c 79 20 6e | 6f 20 63 68 61 6e 67 65 |lutely n|o change|
|00000230| 73 20 74 6f 20 79 6f 75 | 72 20 63 6f 70 79 2c 0a |s to you|r copy,.|
|00000240| 25 25 25 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |%%%     |        |
|00000250| 20 20 20 20 20 69 6e 63 | 6c 75 64 69 6e 67 20 6e |     inc|luding n|
|00000260| 61 6d 65 3b 20 4f 52 0a | 25 25 25 20 20 20 20 20 |ame; OR.|%%%     |
|00000270| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 28 32 29 |        |     (2)|
|00000280| 20 69 66 20 79 6f 75 20 | 64 6f 20 6d 61 6b 65 20 | if you |do make |
|00000290| 63 68 61 6e 67 65 73 2c | 20 79 6f 75 20 66 69 72 |changes,| you fir|
|000002a0| 73 74 20 72 65 6e 61 6d | 65 20 69 74 0a 25 25 25 |st renam|e it.%%%|
|000002b0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|000002c0| 20 20 74 6f 20 73 6f 6d | 65 20 6f 74 68 65 72 20 |  to som|e other |
|000002d0| 6e 61 6d 65 2e 22 2c 0a | 25 25 25 20 20 20 20 20 |name.",.|%%%     |
|000002e0| 61 64 64 72 65 73 73 20 | 20 20 3d 20 22 41 6d 65 |address |  = "Ame|
|000002f0| 72 69 63 61 6e 20 4d 61 | 74 68 65 6d 61 74 69 63 |rican Ma|thematic|
|00000300| 61 6c 20 53 6f 63 69 65 | 74 79 2c 0a 25 25 25 20 |al Socie|ty,.%%% |
|00000310| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00000320| 20 54 65 63 68 6e 69 63 | 61 6c 20 53 75 70 70 6f | Technic|al Suppo|
|00000330| 72 74 2c 0a 25 25 25 20 | 20 20 20 20 20 20 20 20 |rt,.%%% |        |
|00000340| 20 20 20 20 20 20 20 20 | 20 45 6c 65 63 74 72 6f |        | Electro|
|00000350| 6e 69 63 20 50 72 6f 64 | 75 63 74 73 20 61 6e 64 |nic Prod|ucts and|
|00000360| 20 53 65 72 76 69 63 65 | 73 2c 0a 25 25 25 20 20 | Service|s,.%%%  |
|00000370| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00000380| 50 2e 20 4f 2e 20 42 6f | 78 20 36 32 34 38 2c 0a |P. O. Bo|x 6248,.|
|00000390| 25 25 25 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |%%%     |        |
|000003a0| 20 20 20 20 20 50 72 6f | 76 69 64 65 6e 63 65 2c |     Pro|vidence,|
|000003b0| 20 52 49 20 30 32 39 34 | 30 2c 0a 25 25 25 20 20 | RI 0294|0,.%%%  |
|000003c0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|000003d0| 55 53 41 22 2c 0a 25 25 | 25 20 20 20 20 20 74 65 |USA",.%%|%     te|
|000003e0| 6c 65 70 68 6f 6e 65 20 | 3d 20 22 34 30 31 2d 34 |lephone |= "401-4|
|000003f0| 35 35 2d 34 30 38 30 20 | 6f 72 20 28 69 6e 20 74 |55-4080 |or (in t|
|00000400| 68 65 20 55 53 41 20 61 | 6e 64 20 43 61 6e 61 64 |he USA a|nd Canad|
|00000410| 61 29 0a 25 25 25 20 20 | 20 20 20 20 20 20 20 20 |a).%%%  |        |
|00000420| 20 20 20 20 20 20 20 20 | 38 30 30 2d 33 32 31 2d |        |800-321-|
|00000430| 34 41 4d 53 20 28 33 32 | 31 2d 34 32 36 37 29 22 |4AMS (32|1-4267)"|
|00000440| 2c 0a 25 25 25 20 20 20 | 20 20 46 41 58 20 20 20 |,.%%%   |  FAX   |
|00000450| 20 20 20 20 3d 20 22 34 | 30 31 2d 33 33 31 2d 33 |    = "4|01-331-3|
|00000460| 38 34 32 22 2c 0a 25 25 | 25 20 20 20 20 20 65 6d |842",.%%|%     em|
|00000470| 61 69 6c 20 20 20 20 20 | 3d 20 22 74 65 63 68 2d |ail     |= "tech-|
|00000480| 73 75 70 70 6f 72 74 40 | 6d 61 74 68 2e 61 6d 73 |support@|math.ams|
|00000490| 2e 6f 72 67 20 28 49 6e | 74 65 72 6e 65 74 29 22 |.org (In|ternet)"|
|000004a0| 2c 0a 25 25 25 20 20 20 | 20 20 73 75 70 70 6f 72 |,.%%%   |  suppor|
|000004b0| 74 65 64 20 3d 20 22 79 | 65 73 22 2c 0a 25 25 25 |ted = "y|es",.%%%|
|000004c0| 20 20 20 20 20 6b 65 79 | 77 6f 72 64 73 20 20 3d |     key|words  =|
|000004d0| 20 22 6c 61 74 65 78 2c | 20 61 6d 73 6c 61 74 65 | "latex,| amslate|
|000004e0| 78 2c 20 61 6d 73 2d 6c | 61 74 65 78 2c 20 74 68 |x, ams-l|atex, th|
|000004f0| 65 6f 72 65 6d 22 2c 0a | 25 25 25 20 20 20 20 20 |eorem",.|%%%     |
|00000500| 61 62 73 74 72 61 63 74 | 20 20 3d 20 22 54 68 69 |abstract|  = "Thi|
|00000510| 73 20 69 73 20 70 61 72 | 74 20 6f 66 20 74 68 65 |s is par|t of the|
|00000520| 20 41 4d 53 2d 5c 4c 61 | 54 65 58 7b 7d 20 64 69 | AMS-\La|TeX{} di|
|00000530| 73 74 72 69 62 75 74 69 | 6f 6e 2e 0a 25 25 25 20 |stributi|on..%%% |
|00000540| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00000550| 20 49 74 20 69 73 20 61 | 20 70 61 63 6b 61 67 65 | It is a| package|
|00000560| 20 77 68 69 63 68 20 70 | 72 6f 76 69 64 65 73 20 | which p|rovides |
|00000570| 6d 75 6c 74 69 70 6c 65 | 20 74 68 65 6f 72 65 6d |multiple| theorem|
|00000580| 0a 25 25 25 20 20 20 20 | 20 20 20 20 20 20 20 20 |.%%%    |        |
|00000590| 20 20 20 20 20 20 73 74 | 79 6c 65 73 2c 20 75 6e |      st|yles, un|
|000005a0| 6e 75 6d 62 65 72 65 64 | 20 74 68 65 6f 72 65 6d |numbered| theorem|
|000005b0| 20 74 79 70 65 73 2c 20 | 61 6e 64 20 61 20 70 72 | types, |and a pr|
|000005c0| 6f 6f 66 0a 25 25 25 20 | 20 20 20 20 20 20 20 20 |oof.%%% |        |
|000005d0| 20 20 20 20 20 20 20 20 | 20 65 6e 76 69 72 6f 6e |        | environ|
|000005e0| 6d 65 6e 74 20 77 69 74 | 68 20 61 75 74 6f 6d 61 |ment wit|h automa|
|000005f0| 74 69 63 20 65 6e 64 69 | 6e 67 20 51 2e 45 2e 44 |tic endi|ng Q.E.D|
|00000600| 2e 20 73 79 6d 62 6f 6c | 2e 0a 25 25 25 20 20 20 |. symbol|..%%%   |
|00000610| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 4c |        |       L|
|00000620| 6f 6f 73 65 6c 79 20 64 | 65 72 69 76 65 64 20 66 |oosely d|erived f|
|00000630| 72 6f 6d 20 4d 69 74 74 | 65 6c 62 61 63 68 27 73 |rom Mitt|elbach's|
|00000640| 20 74 68 65 6f 72 65 6d | 2e 73 74 79 2e 22 2c 0a | theorem|.sty.",.|
|00000650| 25 25 25 20 20 20 20 20 | 64 6f 63 73 74 72 69 6e |%%%     |docstrin|
|00000660| 67 20 3d 20 22 54 68 65 | 20 63 68 65 63 6b 73 75 |g = "The| checksu|
|00000670| 6d 20 66 69 65 6c 64 20 | 63 6f 6e 74 61 69 6e 73 |m field |contains|
|00000680| 3a 20 43 52 43 2d 31 36 | 20 63 68 65 63 6b 73 75 |: CRC-16| checksu|
|00000690| 6d 2c 0a 25 25 25 20 20 | 20 20 20 20 20 20 20 20 |m,.%%%  |        |
|000006a0| 20 20 20 20 20 20 20 20 | 77 6f 72 64 20 63 6f 75 |        |word cou|
|000006b0| 6e 74 2c 20 6c 69 6e 65 | 20 63 6f 75 6e 74 2c 20 |nt, line| count, |
|000006c0| 61 6e 64 20 63 68 61 72 | 61 63 74 65 72 20 63 6f |and char|acter co|
|000006d0| 75 6e 74 2c 20 61 73 0a | 25 25 25 20 20 20 20 20 |unt, as.|%%%     |
|000006e0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 70 72 6f |        |     pro|
|000006f0| 64 75 63 65 64 20 62 79 | 20 52 6f 62 65 72 74 20 |duced by| Robert |
|00000700| 53 6f 6c 6f 76 61 79 27 | 73 20 63 68 65 63 6b 73 |Solovay'|s checks|
|00000710| 75 6d 20 75 74 69 6c 69 | 74 79 2e 22 2c 0a 25 25 |um utili|ty.",.%%|
|00000720| 25 20 20 7d 0a 25 25 25 | 20 3d 3d 3d 3d 3d 3d 3d |%  }.%%%| =======|
|00000730| 3d 3d 3d 3d 3d 3d 3d 3d | 3d 3d 3d 3d 3d 3d 3d 3d |========|========|
|00000740| 3d 3d 3d 3d 3d 3d 3d 3d | 3d 3d 3d 3d 3d 3d 3d 3d |========|========|
|00000750| 3d 3d 3d 3d 3d 3d 3d 3d | 3d 3d 3d 3d 3d 3d 3d 3d |========|========|
|00000760| 3d 3d 3d 3d 3d 3d 3d 3d | 3d 3d 3d 3d 3d 0a 25 20 |========|=====.% |
|00000770| 5c 69 66 66 61 6c 73 65 | 0a 25 3c 2a 64 72 69 76 |\iffalse|.%<*driv|
|00000780| 65 72 3e 0a 5c 4e 65 65 | 64 73 54 65 58 46 6f 72 |er>.\Nee|dsTeXFor|
|00000790| 6d 61 74 7b 4c 61 54 65 | 58 32 65 7d 0a 5c 64 6f |mat{LaTe|X2e}.\do|
|000007a0| 63 75 6d 65 6e 74 63 6c | 61 73 73 7b 61 6d 73 64 |cumentcl|ass{amsd|
|000007b0| 74 78 7d 0a 5c 62 65 67 | 69 6e 7b 64 6f 63 75 6d |tx}.\beg|in{docum|
|000007c0| 65 6e 74 7d 0a 5c 74 69 | 74 6c 65 7b 54 68 65 20 |ent}.\ti|tle{The |
|000007d0| 5c 70 6b 67 7b 61 6d 73 | 74 68 6d 7d 20 70 61 63 |\pkg{ams|thm} pac|
|000007e0| 6b 61 67 65 7d 0a 5c 61 | 75 74 68 6f 72 7b 41 6d |kage}.\a|uthor{Am|
|000007f0| 65 72 69 63 61 6e 20 4d | 61 74 68 65 6d 61 74 69 |erican M|athemati|
|00000800| 63 61 6c 20 53 6f 63 69 | 65 74 79 5c 5c 4d 69 63 |cal Soci|ety\\Mic|
|00000810| 68 61 65 6c 20 44 6f 77 | 6e 65 73 7d 0a 5c 64 61 |hael Dow|nes}.\da|
|00000820| 74 65 7b 56 65 72 73 69 | 6f 6e 20 5c 66 69 6c 65 |te{Versi|on \file|
|00000830| 76 65 72 73 69 6f 6e 2c | 20 5c 66 69 6c 65 64 61 |version,| \fileda|
|00000840| 74 65 7d 0a 5c 68 44 6f | 63 49 6e 70 75 74 7b 61 |te}.\hDo|cInput{a|
|00000850| 6d 73 74 68 6d 2e 64 74 | 78 7d 0a 5c 65 6e 64 7b |msthm.dt|x}.\end{|
|00000860| 64 6f 63 75 6d 65 6e 74 | 7d 0a 25 3c 2f 64 72 69 |document|}.%</dri|
|00000870| 76 65 72 3e 0a 25 20 5c | 66 69 0a 25 0a 25 20 5c |ver>.% \|fi.%.% \|
|00000880| 4d 61 6b 65 53 68 6f 72 | 74 56 65 72 62 7b 5c 7c |MakeShor|tVerb{\||
|00000890| 7d 0a 25 0a 25 20 5c 6d | 61 6b 65 74 69 74 6c 65 |}.%.% \m|aketitle|
|000008a0| 0a 25 20 5c 73 65 63 74 | 69 6f 6e 7b 49 6e 74 72 |.% \sect|ion{Intr|
|000008b0| 6f 64 75 63 74 69 6f 6e | 7d 0a 25 20 20 20 20 54 |oduction|}.%    T|
|000008c0| 68 65 20 5c 70 6b 67 7b | 61 6d 73 74 68 6d 7d 20 |he \pkg{|amsthm} |
|000008d0| 70 61 63 6b 61 67 65 20 | 69 73 20 6c 6f 6f 73 65 |package |is loose|
|000008e0| 6c 79 20 64 65 72 69 76 | 65 64 20 66 72 6f 6d 20 |ly deriv|ed from |
|000008f0| 5c 66 6e 7b 74 68 65 6f | 72 65 6d 2e 73 74 79 7d |\fn{theo|rem.sty}|
|00000900| 0a 25 20 20 20 20 76 65 | 72 73 69 6f 6e 20 32 2e |.%    ve|rsion 2.|
|00000910| 31 63 3b 20 69 74 20 61 | 64 64 73 20 5c 63 6e 7b |1c; it a|dds \cn{|
|00000920| 6e 65 77 74 68 65 6f 72 | 65 6d 2a 7d 20 66 6f 72 |newtheor|em*} for|
|00000930| 20 75 6e 6e 75 6d 62 65 | 72 65 64 20 65 6e 76 69 | unnumbe|red envi|
|00000940| 72 6f 6e 6d 65 6e 74 73 | 0a 25 20 20 20 20 61 6e |ronments|.%    an|
|00000950| 64 20 63 68 61 6e 67 65 | 73 20 74 68 65 20 65 78 |d change|s the ex|
|00000960| 74 65 6e 73 69 62 69 6c | 69 74 79 20 73 75 70 70 |tensibil|ity supp|
|00000970| 6f 72 74 20 66 6f 72 20 | 6c 6f 61 64 69 6e 67 20 |ort for |loading |
|00000980| 65 78 74 72 61 20 74 68 | 65 6f 72 65 6d 0a 25 20 |extra th|eorem.% |
|00000990| 20 20 20 73 74 79 6c 65 | 73 20 66 72 6f 6d 20 65 |   style|s from e|
|000009a0| 78 74 65 72 6e 61 6c 20 | 66 69 6c 65 73 3a 20 6e |xternal |files: n|
|000009b0| 6f 77 20 69 74 20 69 73 | 20 64 6f 6e 65 20 74 68 |ow it is| done th|
|000009c0| 72 6f 75 67 68 20 74 68 | 65 20 70 61 63 6b 61 67 |rough th|e packag|
|000009d0| 65 0a 25 20 20 20 20 6f | 70 74 69 6f 6e 20 6d 65 |e.%    o|ption me|
|000009e0| 63 68 61 6e 69 73 6d 2e | 0a 25 0a 25 20 20 20 20 |chanism.|.%.%    |
|000009f0| 48 65 72 65 20 61 72 65 | 20 73 6f 6d 65 20 65 78 |Here are| some ex|
|00000a00| 61 6d 70 6c 65 73 20 73 | 68 6f 77 69 6e 67 20 74 |amples s|howing t|
|00000a10| 68 65 20 6b 69 6e 64 73 | 20 6f 66 20 74 68 65 6f |he kinds| of theo|
|00000a20| 72 65 6d 20 65 6e 76 69 | 72 6f 6e 6d 65 6e 74 0a |rem envi|ronment.|
|00000a30| 25 20 20 20 20 64 65 63 | 6c 61 72 61 74 69 6f 6e |%    dec|laration|
|00000a40| 73 20 74 68 61 74 20 61 | 72 65 20 70 6f 73 73 69 |s that a|re possi|
|00000a50| 62 6c 65 20 77 69 74 68 | 20 74 68 65 20 5c 70 6b |ble with| the \pk|
|00000a60| 67 7b 61 6d 73 74 68 6d | 7d 20 70 61 63 6b 61 67 |g{amsthm|} packag|
|00000a70| 65 2e 0a 25 20 5c 62 65 | 67 69 6e 7b 76 65 72 62 |e..% \be|gin{verb|
|00000a80| 61 74 69 6d 7d 0a 25 20 | 5c 6e 65 77 74 68 65 6f |atim}.% |\newtheo|
|00000a90| 72 65 6d 7b 70 72 6f 70 | 7d 7b 50 72 6f 70 6f 73 |rem{prop|}{Propos|
|00000aa0| 69 74 69 6f 6e 7d 0a 25 | 20 5c 6e 65 77 74 68 65 |ition}.%| \newthe|
|00000ab0| 6f 72 65 6d 7b 74 68 6d | 7d 7b 54 68 65 6f 72 65 |orem{thm|}{Theore|
|00000ac0| 6d 7d 5b 73 65 63 74 69 | 6f 6e 5d 0a 25 20 5c 6e |m}[secti|on].% \n|
|00000ad0| 65 77 74 68 65 6f 72 65 | 6d 7b 6c 65 6d 7d 5b 74 |ewtheore|m{lem}[t|
|00000ae0| 68 6d 5d 7b 4c 65 6d 6d | 61 7d 0a 25 20 5c 6e 65 |hm]{Lemm|a}.% \ne|
|00000af0| 77 74 68 65 6f 72 65 6d | 2a 7b 5a 6f 72 6e 7d 7b |wtheorem|*{Zorn}{|
|00000b00| 5a 6f 72 6e 27 73 20 4c | 65 6d 6d 61 7d 0a 25 0a |Zorn's L|emma}.%.|
|00000b10| 25 20 5c 74 68 65 6f 72 | 65 6d 73 74 79 6c 65 7b |% \theor|emstyle{|
|00000b20| 64 65 66 69 6e 69 74 69 | 6f 6e 7d 0a 25 20 5c 6e |definiti|on}.% \n|
|00000b30| 65 77 74 68 65 6f 72 65 | 6d 7b 64 66 6e 7d 7b 44 |ewtheore|m{dfn}{D|
|00000b40| 65 66 69 6e 69 74 69 6f | 6e 7d 0a 25 0a 25 20 5c |efinitio|n}.%.% \|
|00000b50| 74 68 65 6f 72 65 6d 73 | 74 79 6c 65 7b 72 65 6d |theorems|tyle{rem|
|00000b60| 61 72 6b 7d 0a 25 20 5c | 6e 65 77 74 68 65 6f 72 |ark}.% \|newtheor|
|00000b70| 65 6d 2a 7b 72 6d 6b 7d | 7b 52 65 6d 61 72 6b 7d |em*{rmk}|{Remark}|
|00000b80| 0a 25 20 5c 65 6e 64 7b | 76 65 72 62 61 74 69 6d |.% \end{|verbatim|
|00000b90| 7d 0a 25 0a 25 20 20 20 | 20 54 68 65 20 66 69 72 |}.%.%   | The fir|
|00000ba0| 73 74 20 66 6f 75 72 20 | 73 74 61 74 65 6d 65 6e |st four |statemen|
|00000bb0| 74 73 20 61 6c 6c 20 64 | 65 66 69 6e 65 20 65 6e |ts all d|efine en|
|00000bc0| 76 69 72 6f 6e 6d 65 6e | 74 73 20 75 73 69 6e 67 |vironmen|ts using|
|00000bd0| 20 74 68 65 20 64 65 66 | 61 75 6c 74 0a 25 20 20 | the def|ault.%  |
|00000be0| 20 20 74 68 65 6f 72 65 | 6d 20 73 74 79 6c 65 20 |  theore|m style |
|00000bf0| 28 60 70 6c 61 69 6e 27 | 29 2c 20 73 69 6e 63 65 |(`plain'|), since|
|00000c00| 20 74 68 65 72 65 20 69 | 73 20 6e 6f 20 70 72 65 | there i|s no pre|
|00000c10| 66 61 74 6f 72 79 0a 25 | 20 20 20 20 5c 63 6e 7b |fatory.%|    \cn{|
|00000c20| 74 68 65 6f 72 65 6d 73 | 74 79 6c 65 7d 20 64 65 |theorems|tyle} de|
|00000c30| 63 6c 61 72 61 74 69 6f | 6e 2e 20 54 68 65 20 66 |claratio|n. The f|
|00000c40| 69 72 73 74 20 73 74 61 | 74 65 6d 65 6e 74 20 64 |irst sta|tement d|
|00000c50| 65 66 69 6e 65 73 20 61 | 6e 0a 25 20 20 20 20 61 |efines a|n.%    a|
|00000c60| 75 74 6f 6d 61 74 69 63 | 61 6c 6c 79 20 6e 75 6d |utomatic|ally num|
|00000c70| 62 65 72 65 64 20 5c 65 | 6e 76 7b 70 72 6f 70 7d |bered \e|nv{prop}|
|00000c80| 20 65 6e 76 69 72 6f 6e | 6d 65 6e 74 20 77 68 6f | environ|ment who|
|00000c90| 73 65 20 68 65 61 64 69 | 6e 67 73 20 77 69 6c 6c |se headi|ngs will|
|00000ca0| 0a 25 20 20 20 20 6c 6f | 6f 6b 20 6c 69 6b 65 20 |.%    lo|ok like |
|00000cb0| 74 68 69 73 3a 20 50 72 | 6f 70 6f 73 69 74 69 6f |this: Pr|opositio|
|00000cc0| 6e 20 31 2c 20 50 72 6f | 70 6f 73 69 74 69 6f 6e |n 1, Pro|position|
|00000cd0| 20 32 2c 20 61 6e 64 20 | 73 6f 20 66 6f 72 74 68 | 2, and |so forth|
|00000ce0| 2e 20 54 68 65 0a 25 20 | 20 20 20 73 65 63 6f 6e |. The.% |   secon|
|00000cf0| 64 20 73 74 61 74 65 6d | 65 6e 74 20 64 65 66 69 |d statem|ent defi|
|00000d00| 6e 65 73 20 61 6e 20 65 | 6e 76 69 72 6f 6e 6d 65 |nes an e|nvironme|
|00000d10| 6e 74 20 5c 65 6e 76 7b | 74 68 6d 7d 20 77 69 74 |nt \env{|thm} wit|
|00000d20| 68 20 6e 75 6d 62 65 72 | 73 0a 25 20 20 20 20 73 |h number|s.%    s|
|00000d30| 75 62 6f 72 64 69 6e 61 | 74 65 20 74 6f 20 73 65 |ubordina|te to se|
|00000d40| 63 74 69 6f 6e 20 6e 75 | 6d 62 65 72 73 2c 20 73 |ction nu|mbers, s|
|00000d50| 6f 20 74 68 65 20 68 65 | 61 64 69 6e 67 73 20 77 |o the he|adings w|
|00000d60| 69 6c 6c 20 6c 6f 6f 6b | 20 6c 69 6b 65 0a 25 20 |ill look| like.% |
|00000d70| 20 20 20 74 68 69 73 3a | 20 54 68 65 6f 72 65 6d |   this:| Theorem|
|00000d80| 20 31 2e 31 2c 20 54 68 | 65 6f 72 65 6d 20 31 2e | 1.1, Th|eorem 1.|
|00000d90| 32 2c 20 54 68 65 6f 72 | 65 6d 20 31 2e 33 2c 20 |2, Theor|em 1.3, |
|00000da0| 5c 64 6f 74 73 2c 20 28 | 69 6e 20 73 65 63 74 69 |\dots, (|in secti|
|00000db0| 6f 6e 20 32 3a 29 0a 25 | 20 20 20 20 54 68 65 6f |on 2:).%|    Theo|
|00000dc0| 72 65 6d 20 32 2e 31 2c | 20 54 68 65 6f 72 65 6d |rem 2.1,| Theorem|
|00000dd0| 20 32 2e 32 2c 20 61 6e | 64 20 73 6f 20 66 6f 72 | 2.2, an|d so for|
|00000de0| 74 68 2e 20 54 68 65 20 | 74 68 69 72 64 20 73 74 |th. The |third st|
|00000df0| 61 74 65 6d 65 6e 74 20 | 64 65 66 69 6e 65 73 0a |atement |defines.|
|00000e00| 25 20 20 20 20 61 20 5c | 65 6e 76 7b 6c 65 6d 7d |%    a \|env{lem}|
|00000e10| 20 65 6e 76 69 72 6f 6e | 6d 65 6e 74 20 77 68 6f | environ|ment who|
|00000e20| 73 65 20 6e 75 6d 62 65 | 72 73 20 77 69 6c 6c 20 |se numbe|rs will |
|00000e30| 69 6e 74 65 72 6c 65 61 | 76 65 20 69 6e 20 73 65 |interlea|ve in se|
|00000e40| 71 75 65 6e 63 65 0a 25 | 20 20 20 20 77 69 74 68 |quence.%|    with|
|00000e50| 20 74 68 65 20 74 68 65 | 6f 72 65 6d 20 6e 75 6d | the the|orem num|
|00000e60| 62 65 72 73 3a 20 54 68 | 65 6f 72 65 6d 20 31 2e |bers: Th|eorem 1.|
|00000e70| 33 2c 20 4c 65 6d 6d 61 | 20 31 2e 34 2c 20 4c 65 |3, Lemma| 1.4, Le|
|00000e80| 6d 6d 61 20 31 2e 35 2c | 0a 25 20 20 20 20 54 68 |mma 1.5,|.%    Th|
|00000e90| 65 6f 72 65 6d 20 31 2e | 36 2c 20 61 6e 64 20 73 |eorem 1.|6, and s|
|00000ea0| 6f 20 66 6f 72 74 68 2e | 20 54 68 65 20 66 6f 75 |o forth.| The fou|
|00000eb0| 72 74 68 20 73 74 61 74 | 65 6d 65 6e 74 20 64 65 |rth stat|ement de|
|00000ec0| 66 69 6e 65 73 20 61 20 | 73 70 65 63 69 61 6c 0a |fines a |special.|
|00000ed0| 25 20 20 20 20 75 6e 6e | 75 6d 62 65 72 65 64 20 |%    unn|umbered |
|00000ee0| 6c 65 6d 6d 61 20 6e 61 | 6d 65 64 20 60 5a 6f 72 |lemma na|med `Zor|
|00000ef0| 6e 27 73 20 4c 65 6d 6d | 61 27 2e 20 54 68 65 20 |n's Lemm|a'. The |
|00000f00| 72 65 6d 61 69 6e 69 6e | 67 20 74 77 6f 0a 25 20 |remainin|g two.% |
|00000f10| 20 20 20 5c 63 6e 7b 6e | 65 77 74 68 65 6f 72 65 |   \cn{n|ewtheore|
|00000f20| 6d 7d 20 73 74 61 74 65 | 6d 65 6e 74 73 20 68 61 |m} state|ments ha|
|00000f30| 76 65 20 6e 6f 20 73 70 | 65 63 69 61 6c 20 66 65 |ve no sp|ecial fe|
|00000f40| 61 74 75 72 65 73 20 65 | 78 63 65 70 74 20 66 6f |atures e|xcept fo|
|00000f50| 72 20 74 68 65 0a 25 20 | 20 20 20 5c 63 6e 7b 74 |r the.% |   \cn{t|
|00000f60| 68 65 6f 72 65 6d 73 74 | 79 6c 65 7d 20 64 65 63 |heoremst|yle} dec|
|00000f70| 6c 61 72 61 74 69 6f 6e | 73 20 74 68 61 74 20 63 |laration|s that c|
|00000f80| 61 75 73 65 20 74 68 65 | 20 5c 65 6e 76 7b 64 66 |ause the| \env{df|
|00000f90| 6e 7d 20 61 6e 64 0a 25 | 20 20 20 20 5c 65 6e 76 |n} and.%|    \env|
|00000fa0| 7b 72 6d 6b 7d 20 65 6e | 76 69 72 6f 6e 6d 65 6e |{rmk} en|vironmen|
|00000fb0| 74 73 20 74 6f 20 68 61 | 76 65 20 73 6f 6d 65 20 |ts to ha|ve some |
|00000fc0| 64 69 66 66 65 72 65 6e | 63 65 73 20 69 6e 20 61 |differen|ces in a|
|00000fd0| 70 70 65 61 72 61 6e 63 | 65 2e 0a 25 0a 25 20 20 |ppearanc|e..%.%  |
|00000fe0| 20 20 54 68 65 72 65 20 | 61 72 65 20 74 68 72 65 |  There |are thre|
|00000ff0| 65 20 62 61 73 69 63 20 | 73 74 79 6c 65 73 20 70 |e basic |styles p|
|00001000| 72 6f 76 69 64 65 64 3a | 20 54 68 65 20 60 70 6c |rovided:| The `pl|
|00001010| 61 69 6e 27 20 73 74 79 | 6c 65 20 70 72 6f 64 75 |ain' sty|le produ|
|00001020| 63 65 73 0a 25 20 20 20 | 20 62 6f 6c 64 20 68 65 |ces.%   | bold he|
|00001030| 61 64 69 6e 67 73 20 61 | 6e 64 20 69 74 61 6c 69 |adings a|nd itali|
|00001040| 63 20 62 6f 64 79 20 74 | 65 78 74 3b 20 74 68 65 |c body t|ext; the|
|00001050| 20 60 64 65 66 69 6e 69 | 74 69 6f 6e 27 20 73 74 | `defini|tion' st|
|00001060| 79 6c 65 20 70 72 6f 64 | 75 63 65 73 0a 25 20 20 |yle prod|uces.%  |
|00001070| 20 20 62 6f 6c 64 20 68 | 65 61 64 69 6e 67 73 20 |  bold h|eadings |
|00001080| 61 6e 64 20 6e 6f 72 6d | 61 6c 20 62 6f 64 79 20 |and norm|al body |
|00001090| 74 65 78 74 3b 20 74 68 | 65 20 60 72 65 6d 61 72 |text; th|e `remar|
|000010a0| 6b 27 20 73 74 79 6c 65 | 20 70 72 6f 64 75 63 65 |k' style| produce|
|000010b0| 73 0a 25 20 20 20 20 69 | 74 61 6c 69 63 20 68 65 |s.%    i|talic he|
|000010c0| 61 64 69 6e 67 73 20 61 | 6e 64 20 6e 6f 72 6d 61 |adings a|nd norma|
|000010d0| 6c 20 62 6f 64 79 20 74 | 65 78 74 2e 0a 25 0a 25 |l body t|ext..%.%|
|000010e0| 20 20 20 20 41 20 5c 63 | 6e 7b 73 77 61 70 6e 75 |    A \c|n{swapnu|
|000010f0| 6d 62 65 72 73 7d 20 63 | 6f 6d 6d 61 6e 64 20 61 |mbers} c|ommand a|
|00001100| 6c 6c 6f 77 73 20 74 68 | 65 6f 72 65 6d 20 6e 75 |llows th|eorem nu|
|00001110| 6d 62 65 72 73 20 74 6f | 20 62 65 20 73 77 61 70 |mbers to| be swap|
|00001120| 70 65 64 20 74 6f 0a 25 | 20 20 20 20 74 68 65 20 |ped to.%|    the |
|00001130| 66 72 6f 6e 74 20 6f 66 | 20 74 68 65 20 74 68 65 |front of| the the|
|00001140| 6f 72 65 6d 20 68 65 61 | 64 69 6e 67 73 2e 20 50 |orem hea|dings. P|
|00001150| 75 74 74 69 6e 67 20 5c | 63 6e 7b 73 77 61 70 6e |utting \|cn{swapn|
|00001160| 75 6d 62 65 72 73 7d 20 | 69 6e 20 79 6f 75 72 0a |umbers} |in your.|
|00001170| 25 20 20 20 20 64 6f 63 | 75 6d 65 6e 74 20 70 72 |%    doc|ument pr|
|00001180| 65 61 6d 62 6c 65 20 77 | 69 6c 6c 20 63 61 75 73 |eamble w|ill caus|
|00001190| 65 20 5c 65 6d 70 68 7b | 61 6c 6c 20 66 6f 6c 6c |e \emph{|all foll|
|000011a0| 6f 77 69 6e 67 7d 20 5c | 63 6e 7b 6e 65 77 74 68 |owing} \|cn{newth|
|000011b0| 65 6f 72 65 6d 7d 0a 25 | 20 20 20 20 73 74 61 74 |eorem}.%|    stat|
|000011c0| 65 6d 65 6e 74 73 20 74 | 6f 20 70 72 6f 64 75 63 |ements t|o produc|
|000011d0| 65 20 6e 75 6d 62 65 72 | 2d 66 69 72 73 74 20 68 |e number|-first h|
|000011e0| 65 61 64 69 6e 67 73 2e | 20 28 54 6f 20 70 72 6f |eadings.| (To pro|
|000011f0| 76 69 64 65 20 6d 61 78 | 69 6d 75 6d 0a 25 20 20 |vide max|imum.%  |
|00001200| 20 20 63 6f 6e 74 72 6f | 6c 2c 20 5c 63 6e 7b 73 |  contro|l, \cn{s|
|00001210| 77 61 70 6e 75 6d 62 65 | 72 73 7d 20 69 73 20 64 |wapnumbe|rs} is d|
|00001220| 65 73 69 67 6e 65 64 20 | 73 6f 20 74 68 61 74 20 |esigned |so that |
|00001230| 69 74 20 63 61 6e 20 62 | 65 20 75 73 65 64 20 6d |it can b|e used m|
|00001240| 6f 72 65 0a 25 20 20 20 | 20 74 68 61 6e 20 6f 6e |ore.%   | than on|
|00001250| 63 65 3b 20 65 61 63 68 | 20 74 69 6d 65 20 69 74 |ce; each| time it|
|00001260| 20 69 73 20 75 73 65 64 | 2c 20 74 68 65 6f 72 65 | is used|, theore|
|00001270| 6d 20 6e 75 6d 62 65 72 | 73 20 77 69 6c 6c 20 62 |m number|s will b|
|00001280| 65 20 73 77 61 70 70 65 | 64 20 74 6f 0a 25 20 20 |e swappe|d to.%  |
|00001290| 20 20 74 68 65 20 6f 70 | 70 6f 73 69 74 65 20 73 |  the op|posite s|
|000012a0| 69 64 65 20 66 6f 72 20 | 61 6c 6c 20 66 6f 6c 6c |ide for |all foll|
|000012b0| 6f 77 69 6e 67 20 5c 63 | 6e 7b 6e 65 77 74 68 65 |owing \c|n{newthe|
|000012c0| 6f 72 65 6d 7d 20 73 74 | 61 74 65 6d 65 6e 74 73 |orem} st|atements|
|000012d0| 2e 20 42 75 74 0a 25 20 | 20 20 20 72 61 72 65 6c |. But.% |   rarel|
|000012e0| 79 20 77 69 6c 6c 20 69 | 74 20 6e 65 65 64 20 74 |y will i|t need t|
|000012f0| 6f 20 62 65 20 69 6e 76 | 6f 6b 65 64 20 6d 6f 72 |o be inv|oked mor|
|00001300| 65 20 74 68 61 6e 20 6f | 6e 63 65 20 70 65 72 20 |e than o|nce per |
|00001310| 64 6f 63 75 6d 65 6e 74 | 2e 29 0a 25 0a 25 20 20 |document|.).%.%  |
|00001320| 20 20 54 68 65 72 65 20 | 69 73 20 61 20 5c 63 6e |  There |is a \cn|
|00001330| 7b 6e 65 77 74 68 65 6f | 72 65 6d 73 74 79 6c 65 |{newtheo|remstyle|
|00001340| 7d 20 63 6f 6d 6d 61 6e | 64 20 70 72 6f 76 69 64 |} comman|d provid|
|00001350| 65 64 20 74 6f 20 6d 61 | 6b 65 20 74 68 65 0a 25 |ed to ma|ke the.%|
|00001360| 20 20 20 20 63 72 65 61 | 74 69 6f 6e 20 6f 66 20 |    crea|tion of |
|00001370| 63 75 73 74 6f 6d 20 74 | 68 65 6f 72 65 6d 73 74 |custom t|heoremst|
|00001380| 79 6c 65 73 20 66 61 69 | 72 6c 79 20 65 61 73 79 |yles fai|rly easy|
|00001390| 2e 0a 25 0a 25 20 20 20 | 20 55 73 61 67 65 3a 0a |..%.%   | Usage:.|
|000013a0| 25 20 5c 62 65 67 69 6e | 7b 76 65 72 62 61 74 69 |% \begin|{verbati|
|000013b0| 6d 7d 0a 25 20 20 20 20 | 20 20 20 20 20 20 20 20 |m}.%    |        |
|000013c0| 20 20 20 20 20 20 20 23 | 31 0a 25 20 5c 6e 65 77 |       #|1.% \new|
|000013d0| 74 68 65 6f 72 65 6d 73 | 74 79 6c 65 7b 4e 41 4d |theorems|tyle{NAM|
|000013e0| 45 7d 25 0a 25 20 20 20 | 20 20 23 32 20 20 20 20 |E}%.%   |  #2    |
|000013f0| 20 20 20 20 20 20 23 33 | 20 20 20 20 20 20 20 20 |      #3|        |
|00001400| 20 20 23 34 0a 25 20 20 | 20 7b 41 42 4f 56 45 53 |  #4.%  | {ABOVES|
|00001410| 50 41 43 45 7d 7b 42 45 | 4c 4f 57 53 50 41 43 45 |PACE}{BE|LOWSPACE|
|00001420| 7d 7b 42 4f 44 59 46 4f | 4e 54 7d 25 0a 25 20 20 |}{BODYFO|NT}%.%  |
|00001430| 20 20 20 23 35 20 20 20 | 20 20 20 23 36 20 20 20 |   #5   |   #6   |
|00001440| 20 20 20 20 20 23 37 20 | 20 20 20 20 20 20 20 20 |     #7 |        |
|00001450| 23 38 0a 25 20 20 20 7b | 49 4e 44 45 4e 54 7d 7b |#8.%   {|INDENT}{|
|00001460| 48 45 41 44 46 4f 4e 54 | 7d 7b 48 45 41 44 50 55 |HEADFONT|}{HEADPU|
|00001470| 4e 43 54 7d 7b 48 45 41 | 44 53 50 41 43 45 7d 25 |NCT}{HEA|DSPACE}%|
|00001480| 0a 25 20 20 20 20 20 23 | 39 0a 25 20 20 20 7b 43 |.%     #|9.%   {C|
|00001490| 55 53 54 4f 4d 2d 48 45 | 41 44 2d 53 50 45 43 7d |USTOM-HE|AD-SPEC}|
|000014a0| 0a 25 20 5c 65 6e 64 7b | 76 65 72 62 61 74 69 6d |.% \end{|verbatim|
|000014b0| 7d 0a 25 20 20 20 20 4c | 65 61 76 69 6e 67 20 74 |}.%    L|eaving t|
|000014c0| 68 65 20 60 69 6e 64 65 | 6e 74 27 20 61 72 67 75 |he `inde|nt' argu|
|000014d0| 6d 65 6e 74 20 65 6d 70 | 74 79 20 69 73 20 65 71 |ment emp|ty is eq|
|000014e0| 75 69 76 61 6c 65 6e 74 | 20 74 6f 20 65 6e 74 65 |uivalent| to ente|
|000014f0| 72 69 6e 67 0a 25 20 20 | 20 20 7c 30 70 74 7c 2e |ring.%  |  |0pt|.|
|00001500| 20 54 68 65 20 60 68 65 | 61 64 70 75 6e 63 74 27 | The `he|adpunct'|
|00001510| 20 61 6e 64 20 60 68 65 | 61 64 73 70 61 63 65 27 | and `he|adspace'|
|00001520| 20 61 72 67 75 6d 65 6e | 74 73 20 61 72 65 20 66 | argumen|ts are f|
|00001530| 6f 72 20 74 68 65 0a 25 | 20 20 20 20 70 75 6e 63 |or the.%|    punc|
|00001540| 74 75 61 74 69 6f 6e 20 | 61 6e 64 20 68 6f 72 69 |tuation |and hori|
|00001550| 7a 6f 6e 74 61 6c 20 73 | 70 61 63 65 20 62 65 74 |zontal s|pace bet|
|00001560| 77 65 65 6e 20 74 68 65 | 20 74 68 65 6f 72 65 6d |ween the| theorem|
|00001570| 20 68 65 61 64 20 61 6e | 64 20 74 68 65 0a 25 20 | head an|d the.% |
|00001580| 20 20 20 66 6f 6c 6c 6f | 77 69 6e 67 20 74 65 78 |   follo|wing tex|
|00001590| 74 2e 20 54 68 65 72 65 | 20 61 72 65 20 74 77 6f |t. There| are two|
|000015a0| 20 73 70 65 63 69 61 6c | 20 76 61 6c 75 65 73 20 | special| values |
|000015b0| 74 68 61 74 20 6d 61 79 | 20 62 65 20 75 73 65 64 |that may| be used|
|000015c0| 20 66 6f 72 0a 25 20 20 | 20 20 60 68 65 61 64 73 | for.%  |  `heads|
|000015d0| 70 61 63 65 27 3a 20 61 | 20 73 69 6e 67 6c 65 20 |pace': a| single |
|000015e0| 73 70 61 63 65 20 6d 65 | 61 6e 73 20 74 68 61 74 |space me|ans that|
|000015f0| 20 61 20 6e 6f 72 6d 61 | 6c 20 69 6e 74 65 72 77 | a norma|l interw|
|00001600| 6f 72 64 20 73 70 61 63 | 65 0a 25 20 20 20 20 73 |ord spac|e.%    s|
|00001610| 68 6f 75 6c 64 20 62 65 | 20 75 73 65 64 3b 20 60 |hould be| used; `|
|00001620| 60 5c 63 6e 7b 6e 65 77 | 6c 69 6e 65 7d 27 27 20 |`\cn{new|line}'' |
|00001630| 6d 65 61 6e 73 20 74 68 | 61 74 20 74 68 65 72 65 |means th|at there|
|00001640| 20 73 68 6f 75 6c 64 20 | 62 65 20 61 20 6c 69 6e | should |be a lin|
|00001650| 65 0a 25 20 20 20 20 62 | 72 65 61 6b 20 61 66 74 |e.%    b|reak aft|
|00001660| 65 72 20 74 68 65 20 68 | 65 61 64 20 69 6e 73 74 |er the h|ead inst|
|00001670| 65 61 64 20 6f 66 20 68 | 6f 72 69 7a 6f 6e 74 61 |ead of h|orizonta|
|00001680| 6c 20 73 70 61 63 65 2e | 20 54 68 65 0a 25 20 20 |l space.| The.%  |
|00001690| 20 20 60 63 75 73 74 6f | 6d 2d 68 65 61 64 2d 73 |  `custo|m-head-s|
|000016a0| 70 65 63 27 20 61 72 67 | 75 6d 65 6e 74 20 66 6f |pec' arg|ument fo|
|000016b0| 6c 6c 6f 77 73 20 61 20 | 73 70 65 63 69 61 6c 20 |llows a |special |
|000016c0| 63 6f 6e 76 65 6e 74 69 | 6f 6e 3a 20 69 74 20 69 |conventi|on: it i|
|000016d0| 73 0a 25 20 20 20 20 69 | 6e 74 65 72 70 72 65 74 |s.%    i|nterpret|
|000016e0| 65 64 20 61 73 20 74 68 | 65 20 72 65 70 6c 61 63 |ed as th|e replac|
|000016f0| 65 6d 65 6e 74 20 74 65 | 78 74 20 66 6f 72 20 61 |ement te|xt for a|
|00001700| 6e 20 69 6e 74 65 72 6e | 61 6c 20 74 68 72 65 65 |n intern|al three|
|00001710| 2d 61 72 67 75 6d 65 6e | 74 0a 25 20 20 20 20 66 |-argumen|t.%    f|
|00001720| 75 6e 63 74 69 6f 6e 20 | 5c 63 6e 7b 74 68 6d 68 |unction |\cn{thmh|
|00001730| 65 61 64 7d 2c 20 69 2e | 65 2e 2c 20 61 73 20 69 |ead}, i.|e., as i|
|00001740| 66 20 79 6f 75 20 77 65 | 72 65 20 64 65 66 69 6e |f you we|re defin|
|00001750| 69 6e 67 0a 25 20 5c 62 | 65 67 69 6e 7b 76 65 72 |ing.% \b|egin{ver|
|00001760| 62 61 74 69 6d 7d 0a 25 | 20 5c 72 65 6e 65 77 63 |batim}.%| \renewc|
|00001770| 6f 6d 6d 61 6e 64 7b 5c | 74 68 6d 68 65 61 64 7d |ommand{\|thmhead}|
|00001780| 5b 33 5d 7b 2e 2e 2e 23 | 31 2e 2e 2e 23 32 2e 2e |[3]{...#|1...#2..|
|00001790| 2e 23 33 2e 2e 2e 7d 0a | 25 20 5c 65 6e 64 7b 76 |.#3...}.|% \end{v|
|000017a0| 65 72 62 61 74 69 6d 7d | 0a 25 20 20 20 20 62 75 |erbatim}|.%    bu|
|000017b0| 74 20 6f 6d 69 74 74 69 | 6e 67 20 74 68 65 20 69 |t omitti|ng the i|
|000017c0| 6e 69 74 69 61 6c 20 7c | 5c 72 65 6e 65 77 63 6f |nitial ||\renewco|
|000017d0| 6d 6d 61 6e 64 7b 5c 74 | 68 6d 68 65 61 64 7d 5b |mmand{\t|hmhead}[|
|000017e0| 33 5d 7c 2e 20 54 68 65 | 20 74 68 72 65 65 0a 25 |3]|. The| three.%|
|000017f0| 20 20 20 20 61 72 67 75 | 6d 65 6e 74 73 20 74 68 |    argu|ments th|
|00001800| 61 74 20 77 69 6c 6c 20 | 62 65 20 73 75 70 70 6c |at will |be suppl|
|00001810| 69 65 64 20 74 6f 20 5c | 63 6e 7b 74 68 6d 68 65 |ied to \|cn{thmhe|
|00001820| 61 64 7d 20 61 72 65 20 | 74 68 65 20 6e 61 6d 65 |ad} are |the name|
|00001830| 2c 0a 25 20 20 20 20 6e | 75 6d 62 65 72 2c 20 61 |,.%    n|umber, a|
|00001840| 6e 64 20 6f 70 74 69 6f | 6e 61 6c 20 6e 6f 74 65 |nd optio|nal note|
|00001850| 20 63 6f 6d 70 6f 6e 65 | 6e 74 73 2e 20 57 69 74 | compone|nts. Wit|
|00001860| 68 69 6e 20 74 68 65 20 | 72 65 70 6c 61 63 65 6d |hin the |replacem|
|00001870| 65 6e 74 20 74 65 78 74 | 0a 25 20 20 20 20 79 6f |ent text|.%    yo|
|00001880| 75 20 63 61 6e 20 28 61 | 6e 64 20 6e 6f 72 6d 61 |u can (a|nd norma|
|00001890| 6c 6c 79 20 77 69 6c 6c | 20 77 61 6e 74 20 74 6f |lly will| want to|
|000018a0| 29 20 75 73 65 20 6f 74 | 68 65 72 20 73 70 65 63 |) use ot|her spec|
|000018b0| 69 61 6c 20 66 75 6e 63 | 74 69 6f 6e 73 0a 25 20 |ial func|tions.% |
|000018c0| 20 20 20 5c 63 6e 7b 74 | 68 6d 6e 61 6d 65 7d 2c |   \cn{t|hmname},|
|000018d0| 20 5c 63 6e 7b 74 68 6d | 6e 75 6d 62 65 72 7d 2c | \cn{thm|number},|
|000018e0| 20 61 6e 64 20 5c 63 6e | 7b 74 68 6d 6e 6f 74 65 | and \cn|{thmnote|
|000018f0| 7d 2e 20 54 68 65 73 65 | 20 77 69 6c 6c 20 70 72 |}. These| will pr|
|00001900| 69 6e 74 0a 25 20 20 20 | 20 74 68 65 69 72 20 61 |int.%   | their a|
|00001910| 72 67 75 6d 65 6e 74 20 | 69 66 20 61 6e 64 20 6f |rgument |if and o|
|00001920| 6e 6c 79 20 69 66 20 74 | 68 65 20 63 6f 72 72 65 |nly if t|he corre|
|00001930| 73 70 6f 6e 64 69 6e 67 | 20 61 72 67 75 6d 65 6e |sponding| argumen|
|00001940| 74 20 6f 66 0a 25 20 20 | 20 20 5c 63 6e 7b 74 68 |t of.%  |  \cn{th|
|00001950| 6d 68 65 61 64 7d 20 69 | 73 20 6e 6f 6e 65 6d 70 |mhead} i|s nonemp|
|00001960| 74 79 2e 20 46 6f 72 20 | 65 78 61 6d 70 6c 65 0a |ty. For |example.|
|00001970| 25 20 5c 62 65 67 69 6e | 7b 76 65 72 62 61 74 69 |% \begin|{verbati|
|00001980| 6d 7d 0a 25 20 7b 5c 74 | 68 6d 6e 61 6d 65 7b 23 |m}.% {\t|hmname{#|
|00001990| 31 7d 5c 74 68 6d 6e 75 | 6d 62 65 72 7b 20 23 32 |1}\thmnu|mber{ #2|
|000019a0| 7d 5c 74 68 6d 6e 6f 74 | 65 7b 20 28 23 33 29 7d |}\thmnot|e{ (#3)}|
|000019b0| 7d 0a 25 20 5c 65 6e 64 | 7b 76 65 72 62 61 74 69 |}.% \end|{verbati|
|000019c0| 6d 7d 0a 25 20 20 20 20 | 54 68 69 73 20 77 6f 75 |m}.%    |This wou|
|000019d0| 6c 64 20 63 61 75 73 65 | 20 74 68 65 20 74 68 65 |ld cause| the the|
|000019e0| 6f 72 65 6d 20 6e 6f 74 | 65 20 5c 61 72 67 7b 33 |orem not|e \arg{3|
|000019f0| 7d 20 74 6f 20 62 65 20 | 70 72 69 6e 74 65 64 20 |} to be |printed |
|00001a00| 77 69 74 68 20 61 0a 25 | 20 20 20 20 70 72 65 63 |with a.%|    prec|
|00001a10| 65 64 69 6e 67 20 73 70 | 61 63 65 20 61 6e 64 20 |eding sp|ace and |
|00001a20| 65 6e 63 6c 6f 73 69 6e | 67 20 70 61 72 65 6e 74 |enclosin|g parent|
|00001a30| 68 65 73 65 73 2c 20 69 | 66 20 69 74 20 69 73 20 |heses, i|f it is |
|00001a40| 70 72 65 73 65 6e 74 2c | 20 61 6e 64 20 69 66 0a |present,| and if.|
|00001a50| 25 20 20 20 20 69 74 20 | 69 73 20 61 62 73 65 6e |%    it |is absen|
|00001a60| 74 2c 20 74 68 65 20 73 | 70 61 63 65 20 61 6e 64 |t, the s|pace and|
|00001a70| 20 70 61 72 65 6e 74 68 | 65 73 65 73 20 77 69 6c | parenth|eses wil|
|00001a80| 6c 20 62 65 20 6f 6d 69 | 74 74 65 64 20 62 65 63 |l be omi|tted bec|
|00001a90| 61 75 73 65 0a 25 20 20 | 20 20 74 68 65 79 20 61 |ause.%  |  they a|
|00001aa0| 72 65 20 69 6e 73 69 64 | 65 20 74 68 65 20 61 72 |re insid|e the ar|
|00001ab0| 67 75 6d 65 6e 74 20 6f | 66 20 5c 63 6e 7b 74 68 |gument o|f \cn{th|
|00001ac0| 6d 6e 6f 74 65 7d 2e 0a | 25 0a 25 20 20 20 20 46 |mnote}..|%.%    F|
|00001ad0| 69 6e 61 6c 6c 79 2c 20 | 69 66 20 79 6f 75 20 68 |inally, |if you h|
|00001ae0| 61 76 65 20 61 6e 20 65 | 78 74 72 61 20 62 69 74 |ave an e|xtra bit|
|00001af0| 20 6f 66 20 61 72 62 69 | 74 72 61 72 79 20 63 6f | of arbi|trary co|
|00001b00| 64 65 20 74 68 61 74 20 | 79 6f 75 20 77 61 6e 74 |de that |you want|
|00001b10| 0a 25 20 20 20 20 74 6f | 20 73 6c 69 70 20 69 6e |.%    to| slip in|
|00001b20| 20 73 6f 6d 65 77 68 65 | 72 65 2c 20 74 68 65 20 | somewhe|re, the |
|00001b30| 62 65 73 74 20 70 6c 61 | 63 65 20 74 6f 20 64 6f |best pla|ce to do|
|00001b40| 20 69 74 20 69 73 20 69 | 6e 20 74 68 65 20 60 62 | it is i|n the `b|
|00001b50| 6f 64 79 20 66 6f 6e 74 | 27 0a 25 20 20 20 20 61 |ody font|'.%    a|
|00001b60| 72 67 75 6d 65 6e 74 2e | 0a 25 0a 25 20 20 20 20 |rgument.|.%.%    |
|00001b70| 54 68 65 20 5c 63 6e 7b | 6e 65 77 74 68 65 6f 72 |The \cn{|newtheor|
|00001b80| 65 6d 73 74 79 6c 65 7d | 20 63 6f 6d 6d 61 6e 64 |emstyle}| command|
|00001b90| 20 69 73 20 64 65 73 69 | 67 6e 65 64 20 74 6f 20 | is desi|gned to |
|00001ba0| 70 72 6f 76 69 64 65 2c | 20 74 68 72 6f 75 67 68 |provide,| through|
|00001bb0| 20 61 0a 25 20 20 20 20 | 72 65 6c 61 74 69 76 65 | a.%    |relative|
|00001bc0| 6c 79 20 73 69 6d 70 6c | 65 20 69 6e 74 65 72 66 |ly simpl|e interf|
|00001bd0| 61 63 65 2c 20 63 6f 6e | 74 72 6f 6c 20 6f 76 65 |ace, con|trol ove|
|00001be0| 72 20 74 68 65 20 73 74 | 79 6c 65 20 61 73 70 65 |r the st|yle aspe|
|00001bf0| 63 74 73 20 74 68 61 74 | 0a 25 20 20 20 20 61 72 |cts that|.%    ar|
|00001c00| 65 20 6d 6f 73 74 20 63 | 6f 6d 6d 6f 6e 6c 79 20 |e most c|ommonly |
|00001c10| 63 68 61 6e 67 65 64 2e | 20 43 6c 65 61 72 6c 79 |changed.| Clearly|
|00001c20| 20 69 74 20 63 61 6e 6e | 6f 74 20 73 65 72 76 65 | it cann|ot serve|
|00001c30| 20 66 6f 72 20 61 6c 6c | 20 70 6f 73 73 69 62 6c | for all| possibl|
|00001c40| 65 0a 25 20 20 20 20 74 | 68 65 6f 72 65 6d 20 73 |e.%    t|heorem s|
|00001c50| 74 79 6c 65 73 2e 20 54 | 68 65 72 65 66 6f 72 65 |tyles. T|herefore|
|00001c60| 20 74 68 65 72 65 20 69 | 73 20 61 20 73 65 63 6f | there i|s a seco|
|00001c70| 6e 64 20 69 6e 74 65 72 | 66 61 63 65 20 70 72 6f |nd inter|face pro|
|00001c80| 76 69 64 65 64 20 74 6f | 0a 25 20 20 20 20 61 6c |vided to|.%    al|
|00001c90| 6c 6f 77 20 61 72 62 69 | 74 72 61 72 79 20 74 68 |low arbi|trary th|
|00001ca0| 65 6f 72 65 6d 20 73 74 | 79 6c 65 73 20 62 79 20 |eorem st|yles by |
|00001cb0| 72 65 61 64 69 6e 67 20 | 73 75 69 74 61 62 6c 65 |reading |suitable|
|00001cc0| 20 64 65 66 69 6e 69 74 | 69 6f 6e 73 20 66 72 6f | definit|ions fro|
|00001cd0| 6d 0a 25 20 20 20 20 61 | 20 73 65 70 61 72 61 74 |m.%    a| separat|
|00001ce0| 65 20 66 69 6c 65 20 77 | 68 6f 73 65 20 6e 61 6d |e file w|hose nam|
|00001cf0| 65 20 65 6e 64 73 20 77 | 69 74 68 20 5c 66 6e 7b |e ends w|ith \fn{|
|00001d00| 2e 74 68 6d 7d 2e 20 49 | 66 20 74 68 65 20 64 65 |.thm}. I|f the de|
|00001d10| 73 69 72 65 64 0a 25 20 | 20 20 20 73 74 79 6c 65 |sired.% |   style|
|00001d20| 20 69 73 20 66 61 72 20 | 66 72 6f 6d 20 61 6e 79 | is far |from any|
|00001d30| 20 6f 66 20 74 68 65 20 | 62 61 73 69 63 20 73 74 | of the |basic st|
|00001d40| 79 6c 65 73 20 70 72 6f | 76 69 64 65 64 20 62 79 |yles pro|vided by|
|00001d50| 20 74 68 65 0a 25 20 20 | 20 20 5c 70 6b 67 7b 61 | the.%  |  \pkg{a|
|00001d60| 6d 73 74 68 6d 7d 20 70 | 61 63 6b 61 67 65 2c 20 |msthm} p|ackage, |
|00001d70| 77 72 69 74 69 6e 67 20 | 74 68 65 20 64 65 66 69 |writing |the defi|
|00001d80| 6e 69 74 69 6f 6e 73 20 | 6d 61 79 20 72 65 71 75 |nitions |may requ|
|00001d90| 69 72 65 20 73 6f 6d 65 | 0a 25 20 20 20 20 65 78 |ire some|.%    ex|
|00001da0| 70 65 72 74 69 73 65 20 | 69 6e 20 5c 6c 61 74 65 |pertise |in \late|
|00001db0| 78 2f 27 73 20 6d 61 63 | 72 6f 20 6c 61 6e 67 75 |x/'s mac|ro langu|
|00001dc0| 61 67 65 2e 0a 25 0a 25 | 20 20 20 20 53 75 70 70 |age..%.%|    Supp|
|00001dd0| 6f 73 65 20 74 68 61 74 | 20 79 6f 75 20 77 61 6e |ose that| you wan|
|00001de0| 74 65 64 20 74 6f 20 6d | 61 6b 65 20 61 20 74 68 |ted to m|ake a th|
|00001df0| 65 6f 72 65 6d 20 73 74 | 79 6c 65 20 60 65 78 65 |eorem st|yle `exe|
|00001e00| 72 63 69 73 65 27 20 66 | 6f 72 0a 25 20 20 20 20 |rcise' f|or.%    |
|00001e10| 65 78 65 72 63 69 73 65 | 73 2e 20 43 72 65 61 74 |exercise|s. Creat|
|00001e20| 65 20 61 20 66 69 6c 65 | 20 63 61 6c 6c 65 64 20 |e a file| called |
|00001e30| 5c 66 6e 7b 65 78 65 72 | 63 69 73 65 2e 74 68 6d |\fn{exer|cise.thm|
|00001e40| 7d 20 61 6e 64 20 69 6e | 20 69 74 20 64 65 66 69 |} and in| it defi|
|00001e50| 6e 65 0a 25 20 20 20 20 | 61 20 63 6f 6d 6d 61 6e |ne.%    |a comman|
|00001e60| 64 20 5c 63 73 7b 74 68 | 40 65 78 65 72 63 69 73 |d \cs{th|@exercis|
|00001e70| 65 7d 20 66 6f 6c 6c 6f | 77 69 6e 67 20 74 68 65 |e} follo|wing the|
|00001e80| 20 66 6f 72 6d 20 6f 66 | 20 74 68 65 20 63 6f 6d | form of| the com|
|00001e90| 6d 61 6e 64 73 0a 25 20 | 20 20 20 5c 63 73 7b 74 |mands.% |   \cs{t|
|00001ea0| 68 40 70 6c 61 69 6e 7d | 2c 20 5c 63 73 7b 74 68 |h@plain}|, \cs{th|
|00001eb0| 40 64 65 66 69 6e 69 74 | 69 6f 6e 7d 2c 20 5c 63 |@definit|ion}, \c|
|00001ec0| 73 7b 74 68 40 72 65 6d | 61 72 6b 7d 20 67 69 76 |s{th@rem|ark} giv|
|00001ed0| 65 6e 20 62 65 6c 6f 77 | 2e 20 54 68 65 6e 0a 25 |en below|. Then.%|
|00001ee0| 20 20 20 20 74 6f 20 75 | 73 65 20 74 68 65 20 6e |    to u|se the n|
|00001ef0| 65 77 20 73 74 79 6c 65 | 2c 20 77 72 69 74 65 0a |ew style|, write.|
|00001f00| 25 20 5c 62 65 67 69 6e | 7b 76 65 72 62 61 74 69 |% \begin|{verbati|
|00001f10| 6d 7d 0a 25 20 5c 75 73 | 65 70 61 63 6b 61 67 65 |m}.% \us|epackage|
|00001f20| 5b 65 78 65 72 63 69 73 | 65 5d 7b 61 6d 73 74 68 |[exercis|e]{amsth|
|00001f30| 6d 7d 0a 25 20 2e 2e 2e | 0a 25 20 5c 74 68 65 6f |m}.% ...|.% \theo|
|00001f40| 72 65 6d 73 74 79 6c 65 | 7b 65 78 65 72 63 69 73 |remstyle|{exercis|
|00001f50| 65 7d 0a 25 20 5c 65 6e | 64 7b 76 65 72 62 61 74 |e}.% \en|d{verbat|
|00001f60| 69 6d 7d 0a 25 20 20 20 | 20 53 69 6d 69 6c 61 72 |im}.%   | Similar|
|00001f70| 6c 79 2c 20 69 74 27 73 | 20 70 6f 73 73 69 62 6c |ly, it's| possibl|
|00001f80| 65 20 74 6f 20 70 6c 61 | 63 65 20 61 20 67 72 6f |e to pla|ce a gro|
|00001f90| 75 70 20 6f 66 20 72 65 | 6c 61 74 65 64 0a 25 20 |up of re|lated.% |
|00001fa0| 20 20 20 5c 63 6e 7b 6e | 65 77 74 68 65 6f 72 65 |   \cn{n|ewtheore|
|00001fb0| 6d 73 74 79 6c 65 7d 20 | 73 74 61 74 65 6d 65 6e |mstyle} |statemen|
|00001fc0| 74 73 20 69 6e 20 61 20 | 5c 66 6e 7b 2e 74 68 6d |ts in a |\fn{.thm|
|00001fd0| 7d 20 66 69 6c 65 2c 20 | 6c 65 74 27 73 20 73 61 |} file, |let's sa|
|00001fe0| 79 0a 25 20 20 20 20 5c | 66 6e 7b 73 74 79 67 72 |y.%    \|fn{stygr|
|00001ff0| 6f 75 70 2e 74 68 6d 7d | 2c 20 73 6f 20 74 68 61 |oup.thm}|, so tha|
|00002000| 74 20 74 68 65 79 20 63 | 6f 75 6c 64 20 62 65 20 |t they c|ould be |
|00002010| 6c 6f 61 64 65 64 20 6f | 6e 20 64 65 6d 61 6e 64 |loaded o|n demand|
|00002020| 20 69 6e 0a 25 20 20 20 | 20 76 61 72 69 6f 75 73 | in.%   | various|
|00002030| 20 64 6f 63 75 6d 65 6e | 74 73 20 62 79 0a 25 20 | documen|ts by.% |
|00002040| 5c 62 65 67 69 6e 7b 76 | 65 72 62 61 74 69 6d 7d |\begin{v|erbatim}|
|00002050| 0a 25 20 5c 75 73 65 70 | 61 63 6b 61 67 65 5b 73 |.% \usep|ackage[s|
|00002060| 74 79 67 72 6f 75 70 5d | 7b 61 6d 73 74 68 6d 7d |tygroup]|{amsthm}|
|00002070| 0a 25 20 5c 65 6e 64 7b | 76 65 72 62 61 74 69 6d |.% \end{|verbatim|
|00002080| 7d 0a 25 0a 25 20 5c 53 | 74 6f 70 45 76 65 6e 74 |}.%.% \S|topEvent|
|00002090| 75 61 6c 6c 79 7b 7d 0a | 25 0a 25 20 5c 73 65 63 |ually{}.|%.% \sec|
|000020a0| 74 69 6f 6e 7b 49 6d 70 | 6c 65 6d 65 6e 74 61 74 |tion{Imp|lementat|
|000020b0| 69 6f 6e 7d 0a 25 20 20 | 20 20 53 74 61 6e 64 61 |ion}.%  |  Standa|
|000020c0| 72 64 20 64 65 63 6c 61 | 72 61 74 69 6f 6e 20 6f |rd decla|ration o|
|000020d0| 66 20 70 61 63 6b 61 67 | 65 20 6e 61 6d 65 20 61 |f packag|e name a|
|000020e0| 6e 64 20 64 61 74 65 2e | 0a 25 20 20 20 20 5c 62 |nd date.|.%    \b|
|000020f0| 65 67 69 6e 7b 6d 61 63 | 72 6f 63 6f 64 65 7d 0a |egin{mac|rocode}.|
|00002100| 5c 4e 65 65 64 73 54 65 | 58 46 6f 72 6d 61 74 7b |\NeedsTe|XFormat{|
|00002110| 4c 61 54 65 58 32 65 7d | 0a 5c 50 72 6f 76 69 64 |LaTeX2e}|.\Provid|
|00002120| 65 73 50 61 63 6b 61 67 | 65 7b 61 6d 73 74 68 6d |esPackag|e{amsthm|
|00002130| 7d 5b 31 39 39 35 2f 30 | 32 2f 30 31 20 76 31 2e |}[1995/0|2/01 v1.|
|00002140| 32 61 5d 0a 25 20 20 20 | 20 5c 65 6e 64 7b 6d 61 |2a].%   | \end{ma|
|00002150| 63 72 6f 63 6f 64 65 7d | 0a 25 0a 25 20 20 20 20 |crocode}|.%.%    |
|00002160| 4c 6f 61 64 20 73 6f 6d | 65 20 75 74 69 6c 69 74 |Load som|e utilit|
|00002170| 79 20 66 75 6e 63 74 69 | 6f 6e 73 20 66 72 6f 6d |y functi|ons from|
|00002180| 20 5c 70 6b 67 7b 61 6d | 73 67 65 6e 7d 20 69 66 | \pkg{am|sgen} if|
|00002190| 20 69 74 20 69 73 20 6e | 6f 74 20 61 6c 72 65 61 | it is n|ot alrea|
|000021a0| 64 79 0a 25 20 20 20 20 | 6c 6f 61 64 65 64 2e 20 |dy.%    |loaded. |
|000021b0| 43 61 6e 27 74 20 75 73 | 65 20 5c 63 6e 7b 52 65 |Can't us|e \cn{Re|
|000021c0| 71 75 69 72 65 50 61 63 | 6b 61 67 65 7d 20 62 65 |quirePac|kage} be|
|000021d0| 63 61 75 73 65 20 6f 66 | 20 74 68 65 20 6c 61 74 |cause of| the lat|
|000021e0| 65 72 0a 25 20 20 20 20 | 5c 63 6e 7b 50 72 6f 63 |er.%    |\cn{Proc|
|000021f0| 65 73 73 4f 70 74 69 6f | 6e 73 7d 20 63 6f 6d 6d |essOptio|ns} comm|
|00002200| 61 6e 64 2c 20 61 6e 64 | 20 63 61 6e 27 74 20 70 |and, and| can't p|
|00002210| 75 74 20 74 68 69 73 20 | 61 66 74 65 72 20 74 68 |ut this |after th|
|00002220| 65 0a 25 20 20 20 20 5c | 63 6e 7b 50 72 6f 63 65 |e.%    \|cn{Proce|
|00002230| 73 73 4f 70 74 69 6f 6e | 73 7d 20 63 6f 6d 6d 61 |ssOption|s} comma|
|00002240| 6e 64 20 62 65 63 61 75 | 73 65 20 77 65 20 6d 69 |nd becau|se we mi|
|00002250| 67 68 74 20 6e 65 65 64 | 20 73 6f 6d 65 20 62 69 |ght need| some bi|
|00002260| 74 73 20 66 6f 72 0a 25 | 20 20 20 20 70 72 6f 63 |ts for.%|    proc|
|00002270| 65 73 73 69 6e 67 20 61 | 20 5c 66 6e 7b 2e 74 68 |essing a| \fn{.th|
|00002280| 6d 7d 20 66 69 6c 65 2e | 0a 25 20 20 20 20 5c 62 |m} file.|.%    \b|
|00002290| 65 67 69 6e 7b 6d 61 63 | 72 6f 63 6f 64 65 7d 0a |egin{mac|rocode}.|
|000022a0| 5c 40 69 66 70 61 63 6b | 61 67 65 6c 6f 61 64 65 |\@ifpack|ageloade|
|000022b0| 64 7b 61 6d 73 67 65 6e | 7d 7b 7d 7b 5c 69 6e 70 |d{amsgen|}{}{\inp|
|000022c0| 75 74 7b 61 6d 73 67 65 | 6e 2e 73 74 79 7d 7d 0a |ut{amsge|n.sty}}.|
|000022d0| 25 20 20 20 20 5c 65 6e | 64 7b 6d 61 63 72 6f 63 |%    \en|d{macroc|
|000022e0| 6f 64 65 7d 0a 25 0a 25 | 20 20 20 20 54 68 65 20 |ode}.%.%|    The |
|000022f0| 5c 63 6e 7b 74 68 65 6f | 72 65 6d 73 74 79 6c 65 |\cn{theo|remstyle|
|00002300| 7d 20 63 6f 6d 6d 61 6e | 64 20 69 73 20 76 65 72 |} comman|d is ver|
|00002310| 79 20 73 69 6d 70 6c 65 | 20 65 78 63 65 70 74 20 |y simple| except |
|00002320| 66 6f 72 20 74 68 65 20 | 6e 65 65 64 20 74 6f 0a |for the |need to.|
|00002330| 25 20 20 20 20 77 61 72 | 6e 20 61 62 6f 75 74 20 |%    war|n about |
|00002340| 61 6e 20 75 6e 6b 6e 6f | 77 6e 20 74 68 65 6f 72 |an unkno|wn theor|
|00002350| 65 6d 73 74 79 6c 65 2e | 0a 25 20 20 20 20 5c 62 |emstyle.|.%    \b|
|00002360| 65 67 69 6e 7b 6d 61 63 | 72 6f 63 6f 64 65 7d 0a |egin{mac|rocode}.|
|00002370| 5c 6e 65 77 63 6f 6d 6d | 61 6e 64 7b 5c 74 68 65 |\newcomm|and{\the|
|00002380| 6f 72 65 6d 73 74 79 6c | 65 7d 5b 31 5d 7b 25 0a |oremstyl|e}[1]{%.|
|00002390| 20 20 5c 40 69 66 75 6e | 64 65 66 69 6e 65 64 7b |  \@ifun|defined{|
|000023a0| 74 68 40 23 31 7d 7b 25 | 0a 20 20 20 20 5c 50 61 |th@#1}{%|.    \Pa|
|000023b0| 63 6b 61 67 65 57 61 72 | 6e 69 6e 67 7b 61 6d 73 |ckageWar|ning{ams|
|000023c0| 74 68 6d 7d 7b 55 6e 6b | 6e 6f 77 6e 20 74 68 65 |thm}{Unk|nown the|
|000023d0| 6f 72 65 6d 73 74 79 6c | 65 20 60 23 31 27 7d 25 |oremstyl|e `#1'}%|
|000023e0| 0a 20 20 20 20 5c 74 68 | 65 6f 72 65 6d 40 73 74 |.    \th|eorem@st|
|000023f0| 79 6c 65 7b 70 6c 61 69 | 6e 7d 25 0a 20 20 7d 7b |yle{plai|n}%.  }{|
|00002400| 25 0a 20 20 20 20 5c 74 | 68 65 6f 72 65 6d 40 73 |%.    \t|heorem@s|
|00002410| 74 79 6c 65 7b 23 31 7d | 25 0a 20 20 7d 25 0a 7d |tyle{#1}|%.  }%.}|
|00002420| 0a 25 20 20 20 20 5c 65 | 6e 64 7b 6d 61 63 72 6f |.%    \e|nd{macro|
|00002430| 63 6f 64 65 7d 0a 25 0a | 25 20 20 20 20 5c 62 65 |code}.%.|%    \be|
|00002440| 67 69 6e 7b 6d 61 63 72 | 6f 63 6f 64 65 7d 0a 5c |gin{macr|ocode}.\|
|00002450| 6e 65 77 74 6f 6b 73 5c | 74 68 65 6f 72 65 6d 40 |newtoks\|theorem@|
|00002460| 73 74 79 6c 65 0a 5c 74 | 68 65 6f 72 65 6d 40 73 |style.\t|heorem@s|
|00002470| 74 79 6c 65 7b 70 6c 61 | 69 6e 7d 0a 25 20 20 20 |tyle{pla|in}.%   |
|00002480| 20 5c 65 6e 64 7b 6d 61 | 63 72 6f 63 6f 64 65 7d | \end{ma|crocode}|
|00002490| 0a 25 0a 25 20 20 20 20 | 54 68 69 73 20 63 6f 64 |.%.%    |This cod|
|000024a0| 65 20 66 6f 72 20 68 61 | 6e 64 6c 69 6e 67 20 74 |e for ha|ndling t|
|000024b0| 68 65 6f 72 65 6d 20 62 | 6f 64 79 20 61 6e 64 20 |heorem b|ody and |
|000024c0| 68 65 61 64 65 72 20 66 | 6f 6e 74 20 69 73 20 61 |header f|ont is a|
|000024d0| 0a 25 20 20 20 20 73 69 | 6d 70 6c 69 66 69 63 61 |.%    si|mplifica|
|000024e0| 74 69 6f 6e 20 6f 66 20 | 74 68 65 20 63 6f 64 65 |tion of |the code|
|000024f0| 20 69 6e 20 4d 69 74 74 | 65 6c 62 61 63 68 27 73 | in Mitt|elbach's|
|00002500| 20 5c 66 6e 7b 74 68 65 | 6f 72 65 6d 7d 20 70 61 | \fn{the|orem} pa|
|00002510| 63 6b 61 67 65 2e 0a 25 | 20 20 20 20 46 6f 72 20 |ckage..%|    For |
|00002520| 63 6f 6e 73 69 73 74 65 | 6e 63 79 20 77 65 20 6d |consiste|ncy we m|
|00002530| 61 6b 65 20 74 68 65 20 | 68 65 61 64 65 72 20 70 |ake the |header p|
|00002540| 75 6e 63 74 75 61 74 69 | 6f 6e 20 61 20 74 6f 6b |unctuati|on a tok|
|00002550| 65 6e 20 72 65 67 69 73 | 74 65 72 20 61 73 0a 25 |en regis|ter as.%|
|00002560| 20 20 20 20 77 65 6c 6c | 2e 20 41 6e 64 20 77 65 |    well|. And we|
|00002570| 20 61 64 64 20 61 20 73 | 65 70 61 72 61 74 65 20 | add a s|eparate |
|00002580| 66 6f 6e 74 20 73 70 65 | 63 69 66 69 63 61 74 69 |font spe|cificati|
|00002590| 6f 6e 20 66 6f 72 20 74 | 68 65 20 6f 70 74 69 6f |on for t|he optio|
|000025a0| 6e 61 6c 0a 25 20 20 20 | 20 6e 6f 74 65 20 28 73 |nal.%   | note (s|
|000025b0| 69 6e 63 65 20 69 6e 20 | 41 4d 53 20 70 75 62 6c |ince in |AMS publ|
|000025c0| 69 63 61 74 69 6f 6e 73 | 20 74 68 65 20 6e 6f 74 |ications| the not|
|000025d0| 65 20 75 73 75 61 6c 6c | 79 20 74 61 6b 65 73 20 |e usuall|y takes |
|000025e0| 61 20 64 69 66 66 65 72 | 65 6e 74 0a 25 20 20 20 |a differ|ent.%   |
|000025f0| 20 66 6f 6e 74 29 2e 20 | 54 68 65 20 5c 63 73 7b | font). |The \cs{|
|00002600| 6e 6f 72 6d 61 6c 66 6f | 6e 74 7d 20 74 68 61 74 |normalfo|nt} that|
|00002610| 20 69 6e 20 4d 69 74 74 | 65 6c 62 61 63 68 27 73 | in Mitt|elbach's|
|00002620| 20 63 6f 64 65 20 72 65 | 73 69 64 65 64 20 68 65 | code re|sided he|
|00002630| 72 65 0a 25 20 20 20 20 | 69 73 20 74 72 61 6e 73 |re.%    |is trans|
|00002640| 66 65 72 72 65 64 20 74 | 6f 20 5c 63 73 7b 40 74 |ferred t|o \cs{@t|
|00002650| 68 6d 7d 2e 0a 25 20 20 | 20 20 5c 62 65 67 69 6e |hm}..%  |  \begin|
|00002660| 7b 6d 61 63 72 6f 63 6f | 64 65 7d 0a 5c 6e 65 77 |{macroco|de}.\new|
|00002670| 74 6f 6b 73 5c 74 68 65 | 6f 72 65 6d 62 6f 64 79 |toks\the|orembody|
|00002680| 66 6f 6e 74 0a 5c 74 68 | 65 6f 72 65 6d 62 6f 64 |font.\th|eorembod|
|00002690| 79 66 6f 6e 74 7b 5c 69 | 74 73 68 61 70 65 7d 0a |yfont{\i|tshape}.|
|000026a0| 5c 6e 65 77 74 6f 6b 73 | 5c 74 68 65 6f 72 65 6d |\newtoks|\theorem|
|000026b0| 68 65 61 64 66 6f 6e 74 | 0a 5c 74 68 65 6f 72 65 |headfont|.\theore|
|000026c0| 6d 68 65 61 64 66 6f 6e | 74 7b 5c 62 66 73 65 72 |mheadfon|t{\bfser|
|000026d0| 69 65 73 7d 0a 5c 6e 65 | 77 74 6f 6b 73 5c 74 68 |ies}.\ne|wtoks\th|
|000026e0| 65 6f 72 65 6d 6e 6f 74 | 65 66 6f 6e 74 0a 5c 74 |eoremnot|efont.\t|
|000026f0| 68 65 6f 72 65 6d 6e 6f | 74 65 66 6f 6e 74 7b 5c |heoremno|tefont{\|
|00002700| 62 66 73 65 72 69 65 73 | 7d 0a 5c 6e 65 77 74 6f |bfseries|}.\newto|
|00002710| 6b 73 5c 74 68 65 6f 72 | 65 6d 68 65 61 64 70 75 |ks\theor|emheadpu|
|00002720| 6e 63 74 0a 5c 74 68 65 | 6f 72 65 6d 68 65 61 64 |nct.\the|oremhead|
|00002730| 70 75 6e 63 74 7b 2e 7d | 0a 25 20 20 20 20 5c 65 |punct{.}|.%    \e|
|00002740| 6e 64 7b 6d 61 63 72 6f | 63 6f 64 65 7d 0a 25 20 |nd{macro|code}.% |
|00002750| 20 20 20 56 65 72 74 69 | 63 61 6c 20 73 70 61 63 |   Verti|cal spac|
|00002760| 69 6e 67 3a 20 69 6e 69 | 74 69 61 6c 69 7a 65 20 |ing: ini|tialize |
|00002770| 74 6f 20 63 75 72 72 65 | 6e 74 20 76 61 6c 75 65 |to curre|nt value|
|00002780| 20 6f 66 20 5c 63 73 7b | 74 6f 70 73 65 70 7d 2e | of \cs{|topsep}.|
|00002790| 0a 25 20 20 20 20 49 66 | 20 61 20 64 6f 63 75 6d |.%    If| a docum|
|000027a0| 65 6e 74 20 63 6c 61 73 | 73 20 6c 6f 61 64 73 20 |ent clas|s loads |
|000027b0| 74 68 65 20 5c 70 6b 67 | 7b 61 6d 73 74 68 6d 7d |the \pkg|{amsthm}|
|000027c0| 20 70 61 63 6b 61 67 65 | 20 69 74 0a 25 20 20 20 | package| it.%   |
|000027d0| 20 73 68 6f 75 6c 64 20 | 74 61 6b 65 20 63 61 72 | should |take car|
|000027e0| 65 20 74 6f 20 73 65 74 | 20 74 68 65 73 65 20 76 |e to set| these v|
|000027f0| 61 72 69 61 62 6c 65 73 | 20 65 78 70 6c 69 63 69 |ariables| explici|
|00002800| 74 6c 79 2c 20 69 66 20 | 63 75 72 72 65 6e 74 0a |tly, if |current.|
|00002810| 25 20 20 20 20 5c 63 73 | 7b 74 6f 70 73 65 70 7d |%    \cs|{topsep}|
|00002820| 20 69 73 20 6e 6f 74 20 | 74 68 65 20 64 65 73 69 | is not |the desi|
|00002830| 72 65 64 20 76 61 6c 75 | 65 2e 0a 25 20 20 20 20 |red valu|e..%    |
|00002840| 5c 62 65 67 69 6e 7b 6d | 61 63 72 6f 63 6f 64 65 |\begin{m|acrocode|
|00002850| 7d 0a 5c 6e 65 77 73 6b | 69 70 5c 74 68 65 6f 72 |}.\newsk|ip\theor|
|00002860| 65 6d 70 72 65 73 6b 69 | 70 61 6d 6f 75 6e 74 20 |empreski|pamount |
|00002870| 5c 74 68 65 6f 72 65 6d | 70 72 65 73 6b 69 70 61 |\theorem|preskipa|
|00002880| 6d 6f 75 6e 74 5c 74 6f | 70 73 65 70 0a 5c 6e 65 |mount\to|psep.\ne|
|00002890| 77 73 6b 69 70 5c 74 68 | 65 6f 72 65 6d 70 6f 73 |wskip\th|eorempos|
|000028a0| 74 73 6b 69 70 61 6d 6f | 75 6e 74 20 5c 74 68 65 |tskipamo|unt \the|
|000028b0| 6f 72 65 6d 70 6f 73 74 | 73 6b 69 70 61 6d 6f 75 |orempost|skipamou|
|000028c0| 6e 74 5c 74 6f 70 73 65 | 70 0a 25 20 20 20 20 5c |nt\topse|p.%    \|
|000028d0| 65 6e 64 7b 6d 61 63 72 | 6f 63 6f 64 65 7d 0a 25 |end{macr|ocode}.%|
|000028e0| 20 20 20 20 4d 6f 64 69 | 66 79 20 5c 63 6e 7b 6e |    Modi|fy \cn{n|
|000028f0| 65 77 74 68 65 6f 72 65 | 6d 7d 20 74 6f 20 61 64 |ewtheore|m} to ad|
|00002900| 64 20 7c 2a 7c 20 6f 70 | 74 69 6f 6e 2e 20 49 66 |d |*| op|tion. If|
|00002910| 20 61 20 7c 2a 7c 20 69 | 73 20 66 6f 75 6e 64 2c | a |*| i|s found,|
|00002920| 20 70 61 73 73 0a 25 20 | 20 20 20 69 74 20 6f 6e | pass.% |   it on|
|00002930| 20 74 6f 20 5c 63 73 7b | 40 78 6e 74 68 6d 7d 20 | to \cs{|@xnthm} |
|00002940| 61 73 20 74 68 65 20 66 | 69 72 73 74 20 61 72 67 |as the f|irst arg|
|00002950| 75 6d 65 6e 74 2e 20 28 | 54 68 69 73 20 69 6e 66 |ument. (|This inf|
|00002960| 6f 72 6d 61 74 69 6f 6e | 0a 25 20 20 20 20 65 6e |ormation|.%    en|
|00002970| 61 62 6c 65 73 20 75 73 | 20 74 6f 20 68 61 6e 64 |ables us| to hand|
|00002980| 6c 65 20 74 77 6f 20 64 | 69 66 66 65 72 65 6e 74 |le two d|ifferent|
|00002990| 20 70 6f 73 73 69 62 69 | 6c 69 74 69 65 73 20 69 | possibi|lities i|
|000029a0| 6e 20 61 20 73 69 6e 67 | 6c 65 0a 25 20 20 20 20 |n a sing|le.%    |
|000029b0| 66 75 6e 63 74 69 6f 6e | 20 5c 63 73 7b 40 78 6e |function| \cs{@xn|
|000029c0| 74 68 6d 7d 20 69 6e 73 | 74 65 61 64 20 6f 66 20 |thm} ins|tead of |
|000029d0| 6e 65 65 64 69 6e 67 20 | 74 77 6f 20 73 65 70 61 |needing |two sepa|
|000029e0| 72 61 74 65 20 66 75 6e | 63 74 69 6f 6e 73 2e 29 |rate fun|ctions.)|
|000029f0| 0a 25 20 20 20 20 5c 62 | 65 67 69 6e 7b 6d 61 63 |.%    \b|egin{mac|
|00002a00| 72 6f 63 6f 64 65 7d 0a | 5c 72 65 6e 65 77 63 6f |rocode}.|\renewco|
|00002a10| 6d 6d 61 6e 64 7b 5c 6e | 65 77 74 68 65 6f 72 65 |mmand{\n|ewtheore|
|00002a20| 6d 7d 7b 5c 40 69 66 73 | 74 61 72 7b 5c 40 78 6e |m}{\@ifs|tar{\@xn|
|00002a30| 74 68 6d 20 2a 7d 7b 5c | 40 78 6e 74 68 6d 20 5c |thm *}{\|@xnthm \|
|00002a40| 72 65 6c 61 78 7d 7d 0a | 25 20 20 20 20 5c 65 6e |relax}}.|%    \en|
|00002a50| 64 7b 6d 61 63 72 6f 63 | 6f 64 65 7d 0a 25 0a 25 |d{macroc|ode}.%.%|
|00002a60| 20 20 20 20 43 68 65 63 | 6b 20 74 6f 20 73 65 65 |    Chec|k to see|
|00002a70| 20 69 66 20 61 6e 20 6f | 70 74 69 6f 6e 61 6c 20 | if an o|ptional |
|00002a80| 61 72 67 20 69 73 20 70 | 72 65 73 65 6e 74 20 61 |arg is p|resent a|
|00002a90| 66 74 65 72 20 74 68 65 | 20 66 69 72 73 74 0a 25 |fter the| first.%|
|00002aa0| 20 20 20 20 6d 61 6e 64 | 61 74 6f 72 79 20 61 72 |    mand|atory ar|
|00002ab0| 67 20 28 77 68 69 63 68 | 20 69 73 20 5c 61 72 67 |g (which| is \arg|
|00002ac0| 7b 32 7d 20 61 74 20 74 | 68 65 20 6d 6f 6d 65 6e |{2} at t|he momen|
|00002ad0| 74 20 73 69 6e 63 65 20 | 74 68 65 20 7c 2a 7c 20 |t since |the |*| |
|00002ae0| 6f 72 0a 25 20 20 20 20 | 6e 6f 6e 2d 7c 2a 7c 20 |or.%    |non-|*| |
|00002af0| 69 73 20 5c 61 72 67 7b | 31 7d 29 2e 0a 25 20 20 |is \arg{|1})..%  |
|00002b00| 20 20 5c 62 65 67 69 6e | 7b 6d 61 63 72 6f 63 6f |  \begin|{macroco|
|00002b10| 64 65 7d 0a 5c 64 65 66 | 5c 40 78 6e 74 68 6d 23 |de}.\def|\@xnthm#|
|00002b20| 31 23 32 7b 25 0a 20 20 | 5c 6c 65 74 5c 40 74 65 |1#2{%.  |\let\@te|
|00002b30| 6d 70 61 5c 72 65 6c 61 | 78 0a 20 20 5c 40 78 70 |mpa\rela|x.  \@xp|
|00002b40| 5c 40 69 66 64 65 66 69 | 6e 61 62 6c 65 5c 63 73 |\@ifdefi|nable\cs|
|00002b50| 6e 61 6d 65 20 23 32 5c | 65 6e 64 63 73 6e 61 6d |name #2\|endcsnam|
|00002b60| 65 7b 25 0a 20 20 20 20 | 5c 67 6c 6f 62 61 6c 5c |e{%.    |\global\|
|00002b70| 40 78 70 5c 6c 65 74 5c | 63 73 6e 61 6d 65 20 65 |@xp\let\|csname e|
|00002b80| 6e 64 23 32 5c 65 6e 64 | 63 73 6e 61 6d 65 5c 40 |nd#2\end|csname\@|
|00002b90| 65 6e 64 74 68 65 6f 72 | 65 6d 0a 20 20 20 20 5c |endtheor|em.    \|
|00002ba0| 69 66 78 20 2a 23 31 25 | 20 75 6e 6e 75 6d 62 65 |ifx *#1%| unnumbe|
|00002bb0| 72 65 64 2c 20 6e 65 65 | 64 20 74 6f 20 67 65 74 |red, nee|d to get|
|00002bc0| 20 6f 6e 65 20 6d 6f 72 | 65 20 6d 61 6e 64 61 74 | one mor|e mandat|
|00002bd0| 6f 72 79 20 61 72 67 0a | 20 20 20 20 20 20 5c 65 |ory arg.|      \e|
|00002be0| 64 65 66 5c 40 74 65 6d | 70 61 23 23 31 7b 25 0a |def\@tem|pa##1{%.|
|00002bf0| 20 20 20 20 20 20 20 20 | 5c 67 64 65 66 5c 40 78 |        |\gdef\@x|
|00002c00| 70 5c 40 6e 78 5c 63 73 | 6e 61 6d 65 23 32 5c 65 |p\@nx\cs|name#2\e|
|00002c10| 6e 64 63 73 6e 61 6d 65 | 7b 25 0a 20 20 20 20 20 |ndcsname|{%.     |
|00002c20| 20 20 20 20 20 5c 40 6e | 78 5c 40 74 68 6d 7b 5c |     \@n|x\@thm{\|
|00002c30| 40 78 70 5c 40 6e 78 5c | 63 73 6e 61 6d 65 20 74 |@xp\@nx\|csname t|
|00002c40| 68 40 5c 74 68 65 5c 74 | 68 65 6f 72 65 6d 40 73 |h@\the\t|heorem@s|
|00002c50| 74 79 6c 65 5c 65 6e 64 | 63 73 6e 61 6d 65 7d 25 |tyle\end|csname}%|
|00002c60| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 7b 7d 7b |.       |     {}{|
|00002c70| 23 23 31 7d 7d 7d 25 0a | 20 20 20 20 5c 65 6c 73 |##1}}}%.|    \els|
|00002c80| 65 20 25 20 6e 75 6d 62 | 65 72 65 64 20 74 68 65 |e % numb|ered the|
|00002c90| 6f 72 65 6d 2c 20 6e 65 | 65 64 20 74 6f 20 63 68 |orem, ne|ed to ch|
|00002ca0| 65 63 6b 20 66 6f 72 20 | 6f 70 74 69 6f 6e 61 6c |eck for |optional|
|00002cb0| 20 61 72 67 0a 20 20 20 | 20 20 20 5c 64 65 66 5c | arg.   |   \def\|
|00002cc0| 40 74 65 6d 70 61 7b 5c | 40 6f 70 61 72 67 7b 5c |@tempa{\|@oparg{\|
|00002cd0| 40 79 6e 74 68 6d 7b 23 | 32 7d 7d 5b 5d 7d 25 0a |@ynthm{#|2}}[]}%.|
|00002ce0| 20 20 20 20 5c 66 69 0a | 20 20 7d 25 0a 20 20 5c |    \fi.|  }%.  \|
|00002cf0| 40 74 65 6d 70 61 0a 7d | 0a 25 20 20 20 20 5c 65 |@tempa.}|.%    \e|
|00002d00| 6e 64 7b 6d 61 63 72 6f | 63 6f 64 65 7d 0a 25 0a |nd{macro|code}.%.|
|00002d10| 25 20 20 20 20 45 6e 76 | 69 72 6f 6e 6d 65 6e 74 |%    Env|ironment|
|00002d20| 20 6e 75 6d 62 65 72 65 | 64 20 74 6f 67 65 74 68 | numbere|d togeth|
|00002d30| 65 72 20 77 69 74 68 20 | 61 20 70 72 65 76 69 6f |er with |a previo|
|00002d40| 75 73 6c 79 20 64 65 66 | 69 6e 65 64 0a 25 20 20 |usly def|ined.%  |
|00002d50| 20 20 65 6e 76 69 72 6f | 6e 6d 65 6e 74 2e 0a 25 |  enviro|nment..%|
|00002d60| 0a 25 20 20 20 20 41 72 | 67 31 3a 20 65 6e 76 20 |.%    Ar|g1: env |
|00002d70| 6e 61 6d 65 2c 20 65 2e | 67 2e 20 60 74 68 6d 27 |name, e.|g. `thm'|
|00002d80| 5c 70 61 72 0a 25 20 20 | 20 20 41 72 67 32 3a 20 |\par.%  |  Arg2: |
|00002d90| 6f 70 74 69 6f 6e 61 6c | 20 73 69 62 6c 69 6e 67 |optional| sibling|
|00002da0| 20 63 6f 75 6e 74 65 72 | 5c 70 61 72 0a 25 20 20 | counter|\par.%  |
|00002db0| 20 20 41 72 67 33 3a 20 | 68 65 61 64 69 6e 67 20 |  Arg3: |heading |
|00002dc0| 74 65 78 74 20 65 2e 67 | 2e 20 60 54 68 65 6f 72 |text e.g|. `Theor|
|00002dd0| 65 6d 27 0a 25 20 20 20 | 20 5c 62 65 67 69 6e 7b |em'.%   | \begin{|
|00002de0| 6d 61 63 72 6f 63 6f 64 | 65 7d 0a 5c 64 65 66 5c |macrocod|e}.\def\|
|00002df0| 40 79 6e 74 68 6d 23 31 | 5b 23 32 5d 23 33 7b 25 |@ynthm#1|[#2]#3{%|
|00002e00| 0a 25 20 20 20 20 5c 65 | 6e 64 7b 6d 61 63 72 6f |.%    \e|nd{macro|
|00002e10| 63 6f 64 65 7d 0a 25 20 | 20 20 20 49 66 20 6f 70 |code}.% |   If op|
|00002e20| 74 69 6f 6e 61 6c 20 61 | 72 67 20 5c 61 72 67 7b |tional a|rg \arg{|
|00002e30| 32 7d 20 69 73 20 65 6d | 70 74 79 2c 20 63 61 6c |2} is em|pty, cal|
|00002e40| 6c 20 5c 63 73 7b 40 78 | 74 68 6d 7d 20 74 6f 20 |l \cs{@x|thm} to |
|00002e50| 6c 6f 6f 6b 20 66 6f 72 | 20 61 0a 25 20 20 20 20 |look for| a.%    |
|00002e60| 70 6f 73 73 69 62 6c 65 | 20 6f 70 74 69 6f 6e 61 |possible| optiona|
|00002e70| 6c 20 61 72 67 20 69 6e | 20 74 65 72 6d 69 6e 61 |l arg in| termina|
|00002e80| 6c 20 70 6f 73 69 74 69 | 6f 6e 2e 20 4e 6f 74 65 |l positi|on. Note|
|00002e90| 20 74 68 61 74 0a 25 20 | 20 20 20 74 68 65 20 74 | that.% |   the t|
|00002ea0| 77 6f 20 6f 70 74 69 6f | 6e 61 6c 20 61 72 67 73 |wo optio|nal args|
|00002eb0| 20 61 72 65 20 6d 75 74 | 75 61 6c 6c 79 20 65 78 | are mut|ually ex|
|00002ec0| 63 6c 75 73 69 76 65 2e | 20 41 73 20 5c 61 72 67 |clusive.| As \arg|
|00002ed0| 7b 32 7d 20 69 73 20 61 | 0a 25 20 20 20 20 63 6f |{2} is a|.%    co|
|00002ee0| 75 6e 74 65 72 20 6e 61 | 6d 65 20 61 6e 64 20 6d |unter na|me and m|
|00002ef0| 75 73 74 20 62 65 20 70 | 72 6f 63 65 73 73 65 64 |ust be p|rocessed|
|00002f00| 20 62 79 20 5c 63 73 7b | 63 73 6e 61 6d 65 7d 20 | by \cs{|csname} |
|00002f10| 61 6e 79 77 61 79 2c 0a | 25 20 20 20 20 77 65 20 |anyway,.|%    we |
|00002f20| 63 61 6e 20 75 73 65 20 | 61 20 73 69 6d 70 6c 65 |can use |a simple|
|00002f30| 72 20 74 65 73 74 20 69 | 6e 73 74 65 61 64 20 6f |r test i|nstead o|
|00002f40| 66 20 5c 63 73 7b 40 69 | 66 65 6d 70 74 79 7d 2e |f \cs{@i|fempty}.|
|00002f50| 0a 25 20 20 20 20 5c 62 | 65 67 69 6e 7b 6d 61 63 |.%    \b|egin{mac|
|00002f60| 72 6f 63 6f 64 65 7d 0a | 20 20 5c 69 66 78 5c 72 |rocode}.|  \ifx\r|
|00002f70| 65 6c 61 78 23 32 5c 72 | 65 6c 61 78 0a 20 20 20 |elax#2\r|elax.   |
|00002f80| 20 5c 64 65 66 5c 40 74 | 65 6d 70 61 7b 5c 40 6f | \def\@t|empa{\@o|
|00002f90| 70 61 72 67 7b 5c 40 78 | 74 68 6d 7b 23 31 7d 7b |parg{\@x|thm{#1}{|
|00002fa0| 23 33 7d 7d 5b 5d 7d 25 | 0a 20 20 5c 65 6c 73 65 |#3}}[]}%|.  \else|
|00002fb0| 0a 20 20 20 20 5c 40 69 | 66 75 6e 64 65 66 69 6e |.    \@i|fundefin|
|00002fc0| 65 64 7b 63 40 23 32 7d | 7b 25 0a 20 20 20 20 20 |ed{c@#2}|{%.     |
|00002fd0| 20 5c 64 65 66 5c 40 74 | 65 6d 70 61 7b 5c 40 6e | \def\@t|empa{\@n|
|00002fe0| 6f 63 6f 75 6e 74 65 72 | 72 7b 23 32 7d 7d 25 0a |ocounter|r{#2}}%.|
|00002ff0| 20 20 20 20 7d 7b 25 0a | 20 20 20 20 20 20 5c 40 |    }{%.|      \@|
|00003000| 78 70 5c 78 64 65 66 5c | 63 73 6e 61 6d 65 20 74 |xp\xdef\|csname t|
|00003010| 68 65 23 31 5c 65 6e 64 | 63 73 6e 61 6d 65 7b 5c |he#1\end|csname{\|
|00003020| 40 78 70 5c 40 6e 78 5c | 63 73 6e 61 6d 65 20 74 |@xp\@nx\|csname t|
|00003030| 68 65 23 32 5c 65 6e 64 | 63 73 6e 61 6d 65 7d 25 |he#2\end|csname}%|
|00003040| 0a 20 20 20 20 20 20 5c | 74 6f 6b 73 40 7b 23 33 |.      \|toks@{#3|
|00003050| 7d 25 0a 20 20 20 20 20 | 20 5c 40 78 70 5c 78 64 |}%.     | \@xp\xd|
|00003060| 65 66 5c 63 73 6e 61 6d | 65 23 31 5c 65 6e 64 63 |ef\csnam|e#1\endc|
|00003070| 73 6e 61 6d 65 7b 25 0a | 20 20 20 20 20 20 20 20 |sname{%.|        |
|00003080| 5c 40 6e 78 5c 40 74 68 | 6d 7b 25 0a 20 20 20 20 |\@nx\@th|m{%.    |
|00003090| 20 20 20 20 20 20 5c 6c | 65 74 5c 40 6e 78 5c 74 |      \l|et\@nx\t|
|000030a0| 68 6d 40 73 77 61 70 0a | 20 20 20 20 20 20 20 20 |hm@swap.|        |
|000030b0| 20 20 20 20 5c 69 66 20 | 53 5c 74 68 6d 40 73 77 |    \if |S\thm@sw|
|000030c0| 61 70 5c 40 6e 78 5c 40 | 66 69 72 73 74 6f 66 74 |ap\@nx\@|firstoft|
|000030d0| 77 6f 5c 65 6c 73 65 5c | 40 6e 78 5c 40 67 6f 62 |wo\else\|@nx\@gob|
|000030e0| 62 6c 65 5c 66 69 0a 20 | 20 20 20 20 20 20 20 20 |ble\fi. |        |
|000030f0| 20 5c 40 78 70 5c 40 6e | 78 5c 63 73 6e 61 6d 65 | \@xp\@n|x\csname|
|00003100| 20 74 68 40 5c 74 68 65 | 5c 74 68 65 6f 72 65 6d | th@\the|\theorem|
|00003110| 40 73 74 79 6c 65 5c 65 | 6e 64 63 73 6e 61 6d 65 |@style\e|ndcsname|
|00003120| 7d 25 0a 20 20 20 20 20 | 20 20 20 20 20 20 20 7b |}%.     |       {|
|00003130| 23 32 7d 7b 5c 74 68 65 | 5c 74 6f 6b 73 40 7d 7d |#2}{\the|\toks@}}|
|00003140| 25 0a 20 20 20 20 20 20 | 5c 6c 65 74 5c 40 74 65 |%.      |\let\@te|
|00003150| 6d 70 61 5c 72 65 6c 61 | 78 0a 20 20 20 20 7d 25 |mpa\rela|x.    }%|
|00003160| 0a 20 20 5c 66 69 0a 20 | 20 5c 40 74 65 6d 70 61 |.  \fi. | \@tempa|
|00003170| 0a 7d 0a 25 20 20 20 20 | 5c 65 6e 64 7b 6d 61 63 |.}.%    |\end{mac|
|00003180| 72 6f 63 6f 64 65 7d 0a | 25 0a 25 20 20 20 20 45 |rocode}.|%.%    E|
|00003190| 6e 76 69 72 6f 6e 6d 65 | 6e 74 20 6e 75 6d 62 65 |nvironme|nt numbe|
|000031a0| 72 65 64 20 72 65 6c 61 | 74 69 76 65 20 74 6f 20 |red rela|tive to |
|000031b0| 74 68 65 20 63 6f 75 6e | 74 65 72 20 67 69 76 65 |the coun|ter give|
|000031c0| 6e 20 61 73 20 5c 61 72 | 67 7b 33 7d 2e 20 54 68 |n as \ar|g{3}. Th|
|000031d0| 69 73 0a 25 20 20 20 20 | 66 75 6e 63 74 69 6f 6e |is.%    |function|
|000031e0| 20 73 68 6f 75 6c 64 20 | 72 65 61 6c 6c 79 20 62 | should |really b|
|000031f0| 65 20 6e 61 6d 65 64 20 | 5c 63 73 7b 40 7a 6e 74 |e named |\cs{@znt|
|00003200| 68 6d 7d 20 62 75 74 20 | 77 65 27 72 65 20 74 72 |hm} but |we're tr|
|00003210| 79 69 6e 67 20 74 6f 0a | 25 20 20 20 20 73 61 76 |ying to.|%    sav|
|00003220| 65 20 61 20 62 69 74 20 | 6f 66 20 68 61 73 68 20 |e a bit |of hash |
|00003230| 74 61 62 6c 65 20 61 6e | 64 20 73 74 72 69 6e 67 |table an|d string|
|00003240| 20 70 6f 6f 6c 20 62 79 | 20 72 65 75 73 69 6e 67 | pool by| reusing|
|00003250| 20 6f 6e 65 20 6f 66 20 | 74 68 65 0a 25 20 20 20 | one of |the.%   |
|00003260| 20 63 6f 6d 6d 61 6e 64 | 20 6e 61 6d 65 73 20 72 | command| names r|
|00003270| 65 6e 64 65 72 65 64 20 | 6f 62 73 6f 6c 65 74 65 |endered |obsolete|
|00003280| 20 62 79 20 74 68 65 20 | 61 6d 73 74 68 6d 20 6f | by the |amsthm o|
|00003290| 70 74 69 6f 6e 2e 0a 25 | 0a 25 20 20 20 20 41 72 |ption..%|.%    Ar|
|000032a0| 67 31 3a 20 65 6e 76 20 | 6e 61 6d 65 20 65 2e 67 |g1: env |name e.g|
|000032b0| 2e 20 60 74 68 6d 27 3b | 0a 25 20 20 20 20 41 72 |. `thm';|.%    Ar|
|000032c0| 67 32 3a 20 68 65 61 64 | 69 6e 67 20 74 65 78 74 |g2: head|ing text|
|000032d0| 20 65 2e 67 2e 20 60 54 | 68 65 6f 72 65 6d 27 3b | e.g. `T|heorem';|
|000032e0| 0a 25 20 20 20 20 41 72 | 67 33 3a 20 70 61 72 65 |.%    Ar|g3: pare|
|000032f0| 6e 74 20 63 6f 75 6e 74 | 65 72 20 65 2e 67 2e 20 |nt count|er e.g. |
|00003300| 73 65 63 74 69 6f 6e 2e | 0a 25 20 20 20 20 5c 62 |section.|.%    \b|
|00003310| 65 67 69 6e 7b 6d 61 63 | 72 6f 63 6f 64 65 7d 0a |egin{mac|rocode}.|
|00003320| 5c 64 65 66 5c 40 78 74 | 68 6d 23 31 23 32 5b 23 |\def\@xt|hm#1#2[#|
|00003330| 33 5d 7b 25 0a 25 20 20 | 20 20 5c 65 6e 64 7b 6d |3]{%.%  |  \end{m|
|00003340| 61 63 72 6f 63 6f 64 65 | 7d 0a 25 20 20 20 20 53 |acrocode|}.%    S|
|00003350| 65 74 20 75 70 20 74 68 | 65 20 63 6f 75 6e 74 65 |et up th|e counte|
|00003360| 72 20 5c 76 65 72 62 27 | 63 40 23 31 27 20 61 6e |r \verb'|c@#1' an|
|00003370| 64 20 6f 70 74 69 6f 6e | 61 6c 6c 79 20 61 64 64 |d option|ally add|
|00003380| 20 69 74 20 74 6f 20 74 | 68 65 20 72 65 73 65 74 | it to t|he reset|
|00003390| 0a 25 20 20 20 20 6c 69 | 73 74 20 6f 66 20 63 6f |.%    li|st of co|
|000033a0| 75 6e 74 65 72 20 5c 61 | 72 67 7b 33 7d 2e 20 41 |unter \a|rg{3}. A|
|000033b0| 73 20 5c 61 72 67 7b 33 | 7d 20 69 73 20 61 0a 25 |s \arg{3|} is a.%|
|000033c0| 20 20 20 20 63 6f 75 6e | 74 65 72 20 6e 61 6d 65 |    coun|ter name|
|000033d0| 20 61 6e 64 20 6d 75 73 | 74 20 62 65 20 70 72 6f | and mus|t be pro|
|000033e0| 63 65 73 73 65 64 20 62 | 79 20 5c 63 73 7b 63 73 |cessed b|y \cs{cs|
|000033f0| 6e 61 6d 65 7d 20 61 6e | 79 77 61 79 2c 0a 25 20 |name} an|yway,.% |
|00003400| 20 20 20 77 65 20 63 61 | 6e 20 75 73 65 20 61 20 |   we ca|n use a |
|00003410| 73 69 6d 70 6c 65 72 20 | 74 65 73 74 20 69 6e 73 |simpler |test ins|
|00003420| 74 65 61 64 20 6f 66 20 | 5c 63 73 7b 40 69 66 65 |tead of |\cs{@ife|
|00003430| 6d 70 74 79 7d 2e 0a 25 | 20 20 20 20 5c 62 65 67 |mpty}..%|    \beg|
|00003440| 69 6e 7b 6d 61 63 72 6f | 63 6f 64 65 7d 0a 20 20 |in{macro|code}.  |
|00003450| 5c 69 66 78 5c 72 65 6c | 61 78 23 33 5c 72 65 6c |\ifx\rel|ax#3\rel|
|00003460| 61 78 0a 20 20 20 20 5c | 6e 65 77 63 6f 75 6e 74 |ax.    \|newcount|
|00003470| 65 72 7b 23 31 7d 25 0a | 20 20 5c 65 6c 73 65 0a |er{#1}%.|  \else.|
|00003480| 20 20 20 20 5c 6e 65 77 | 63 6f 75 6e 74 65 72 7b |    \new|counter{|
|00003490| 23 31 7d 5b 23 33 5d 25 | 0a 25 20 20 20 20 5c 65 |#1}[#3]%|.%    \e|
|000034a0| 6e 64 7b 6d 61 63 72 6f | 63 6f 64 65 7d 0a 25 20 |nd{macro|code}.% |
|000034b0| 20 20 20 44 65 66 69 6e | 65 20 5c 63 6e 7b 74 68 |   Defin|e \cn{th|
|000034c0| 65 78 78 78 7d 20 74 6f | 20 62 65 20 5c 76 65 72 |exxx} to| be \ver|
|000034d0| 62 27 5c 74 68 65 79 79 | 79 2e 5c 61 72 61 62 69 |b'\theyy|y.\arabi|
|000034e0| 63 7b 78 78 78 7d 27 20 | 28 61 73 73 75 6d 69 6e |c{xxx}' |(assumin|
|000034f0| 67 0a 25 20 20 20 20 64 | 65 66 61 75 6c 74 20 76 |g.%    d|efault v|
|00003500| 61 6c 75 65 73 20 6f 66 | 20 70 75 6e 63 74 75 61 |alues of| punctua|
|00003510| 74 69 6f 6e 20 61 6e 64 | 20 6e 75 6d 62 65 72 69 |tion and| numberi|
|00003520| 6e 67 20 73 74 79 6c 65 | 29 2e 20 54 68 65 20 75 |ng style|). The u|
|00003530| 73 65 20 6f 66 0a 25 20 | 20 20 20 5c 63 73 7b 78 |se of.% |   \cs{x|
|00003540| 64 65 66 7d 20 68 65 72 | 65 20 69 73 20 69 6e 68 |def} her|e is inh|
|00003550| 65 72 69 74 65 64 20 66 | 72 6f 6d 20 74 68 65 20 |erited f|rom the |
|00003560| 6f 6c 64 20 5c 4c 61 54 | 65 58 7b 7d 20 63 6f 64 |old \LaT|eX{} cod|
|00003570| 65 2c 20 49 27 6d 20 6e | 6f 74 0a 25 20 20 20 20 |e, I'm n|ot.%    |
|00003580| 73 75 72 65 20 69 74 27 | 73 20 61 20 67 6f 6f 64 |sure it'|s a good|
|00003590| 20 69 64 65 61 20 69 6e | 20 67 65 6e 65 72 61 6c | idea in| general|
|000035a0| 2c 20 62 75 74 20 74 68 | 65 72 65 20 73 68 6f 75 |, but th|ere shou|
|000035b0| 6c 64 20 6e 6f 74 20 62 | 65 20 61 6e 79 0a 25 20 |ld not b|e any.% |
|000035c0| 20 20 20 70 72 6f 62 6c | 65 6d 73 20 75 6e 6c 65 |   probl|ems unle|
|000035d0| 73 73 20 73 6f 6d 65 6f | 6e 65 20 63 68 61 6e 67 |ss someo|ne chang|
|000035e0| 65 73 20 74 68 65 20 76 | 61 6c 75 65 20 6f 66 20 |es the v|alue of |
|000035f0| 5c 63 73 7b 40 74 68 6d | 63 6f 75 6e 74 65 72 7d |\cs{@thm|counter}|
|00003600| 20 6f 72 0a 25 20 20 20 | 20 5c 63 73 7b 40 74 68 | or.%   | \cs{@th|
|00003610| 6d 63 6f 75 6e 74 65 72 | 7d 2e 0a 25 20 20 20 20 |mcounter|}..%    |
|00003620| 5c 62 65 67 69 6e 7b 6d | 61 63 72 6f 63 6f 64 65 |\begin{m|acrocode|
|00003630| 7d 0a 20 20 20 20 5c 40 | 78 70 5c 78 64 65 66 5c |}.    \@|xp\xdef\|
|00003640| 63 73 6e 61 6d 65 20 74 | 68 65 23 31 5c 65 6e 64 |csname t|he#1\end|
|00003650| 63 73 6e 61 6d 65 7b 5c | 40 78 70 5c 40 6e 78 5c |csname{\|@xp\@nx\|
|00003660| 63 73 6e 61 6d 65 20 74 | 68 65 23 33 5c 65 6e 64 |csname t|he#3\end|
|00003670| 63 73 6e 61 6d 65 0a 20 | 20 20 20 20 20 5c 40 74 |csname. |     \@t|
|00003680| 68 6d 63 6f 75 6e 74 65 | 72 73 65 70 5c 40 74 68 |hmcounte|rsep\@th|
|00003690| 6d 63 6f 75 6e 74 65 72 | 7b 23 31 7d 7d 25 0a 20 |mcounter|{#1}}%. |
|000036a0| 20 5c 66 69 0a 20 20 5c | 74 6f 6b 73 40 7b 23 32 | \fi.  \|toks@{#2|
|000036b0| 7d 25 0a 20 20 5c 40 78 | 70 5c 78 64 65 66 5c 63 |}%.  \@x|p\xdef\c|
|000036c0| 73 6e 61 6d 65 23 31 5c | 65 6e 64 63 73 6e 61 6d |sname#1\|endcsnam|
|000036d0| 65 7b 25 0a 20 20 20 20 | 5c 40 6e 78 5c 40 74 68 |e{%.    |\@nx\@th|
|000036e0| 6d 7b 25 0a 20 20 20 20 | 20 20 5c 6c 65 74 5c 40 |m{%.    |  \let\@|
|000036f0| 6e 78 5c 74 68 6d 40 73 | 77 61 70 0a 20 20 20 20 |nx\thm@s|wap.    |
|00003700| 20 20 20 20 5c 69 66 20 | 53 5c 74 68 6d 40 73 77 |    \if |S\thm@sw|
|00003710| 61 70 5c 40 6e 78 5c 40 | 66 69 72 73 74 6f 66 74 |ap\@nx\@|firstoft|
|00003720| 77 6f 5c 65 6c 73 65 5c | 40 6e 78 5c 40 67 6f 62 |wo\else\|@nx\@gob|
|00003730| 62 6c 65 5c 66 69 0a 20 | 20 20 20 20 20 5c 40 78 |ble\fi. |     \@x|
|00003740| 70 5c 40 6e 78 5c 63 73 | 6e 61 6d 65 20 74 68 40 |p\@nx\cs|name th@|
|00003750| 5c 74 68 65 5c 74 68 65 | 6f 72 65 6d 40 73 74 79 |\the\the|orem@sty|
|00003760| 6c 65 5c 65 6e 64 63 73 | 6e 61 6d 65 7d 25 0a 20 |le\endcs|name}%. |
|00003770| 20 20 20 20 20 7b 23 31 | 7d 7b 5c 74 68 65 5c 74 |     {#1|}{\the\t|
|00003780| 6f 6b 73 40 7d 7d 25 0a | 7d 0a 25 20 20 20 20 5c |oks@}}%.|}.%    \|
|00003790| 65 6e 64 7b 6d 61 63 72 | 6f 63 6f 64 65 7d 0a 25 |end{macr|ocode}.%|
|000037a0| 0a 25 20 20 20 20 49 66 | 20 61 72 67 20 5c 61 72 |.%    If| arg \ar|
|000037b0| 67 7b 32 7d 20 69 73 20 | 65 6d 70 74 79 2c 20 74 |g{2} is |empty, t|
|000037c0| 68 69 73 20 69 73 20 61 | 6e 20 75 6e 6e 75 6d 62 |his is a|n unnumb|
|000037d0| 65 72 65 64 20 65 6e 76 | 69 72 6f 6e 6d 65 6e 74 |ered env|ironment|
|000037e0| 3b 0a 25 20 20 20 20 6f | 74 68 65 72 77 69 73 65 |;.%    o|therwise|
|000037f0| 20 5c 61 72 67 7b 32 7d | 20 69 73 20 74 68 65 20 | \arg{2}| is the |
|00003800| 6e 61 6d 65 20 6f 66 20 | 61 20 63 6f 75 6e 74 65 |name of |a counte|
|00003810| 72 2e 20 5c 61 72 67 7b | 33 7d 20 69 73 20 64 65 |r. \arg{|3} is de|
|00003820| 73 63 72 69 70 74 69 76 | 65 0a 25 20 20 20 20 6e |scriptiv|e.%    n|
|00003830| 61 6d 65 20 73 75 63 68 | 20 61 73 20 60 60 54 68 |ame such| as ``Th|
|00003840| 65 6f 72 65 6d 27 27 20 | 6f 72 20 60 60 4c 65 6d |eorem'' |or ``Lem|
|00003850| 6d 61 27 27 2e 20 41 72 | 67 20 5c 61 72 67 7b 31 |ma''. Ar|g \arg{1|
|00003860| 7d 20 69 73 20 74 68 65 | 20 73 74 79 6c 65 0a 25 |} is the| style.%|
|00003870| 20 20 20 20 66 75 6e 63 | 74 69 6f 6e 2c 20 66 6f |    func|tion, fo|
|00003880| 72 20 65 78 61 6d 70 6c | 65 20 5c 63 73 7b 74 68 |r exampl|e \cs{th|
|00003890| 40 70 6c 61 69 6e 7d 2e | 0a 25 20 20 20 20 5c 62 |@plain}.|.%    \b|
|000038a0| 65 67 69 6e 7b 6d 61 63 | 72 6f 63 6f 64 65 7d 0a |egin{mac|rocode}.|
|000038b0| 5c 64 65 66 5c 40 74 68 | 6d 23 31 23 32 23 33 7b |\def\@th|m#1#2#3{|
|000038c0| 5c 6e 6f 72 6d 61 6c 66 | 6f 6e 74 0a 20 20 5c 74 |\normalf|ont.  \t|
|000038d0| 72 69 76 6c 69 73 74 0a | 25 20 20 20 20 5c 65 6e |rivlist.|%    \en|
|000038e0| 64 7b 6d 61 63 72 6f 63 | 6f 64 65 7d 0a 25 20 20 |d{macroc|ode}.%  |
|000038f0| 20 20 45 78 70 6c 69 63 | 69 74 6c 79 20 73 65 74 |  Explic|itly set|
|00003900| 20 70 6c 61 69 6e 20 73 | 74 79 6c 65 20 68 65 72 | plain s|tyle her|
|00003910| 65 2c 20 74 68 65 6e 20 | 6f 76 65 72 72 69 64 65 |e, then |override|
|00003920| 20 70 61 72 74 73 20 61 | 73 20 6e 65 63 65 73 73 | parts a|s necess|
|00003930| 61 72 79 0a 25 20 20 20 | 20 69 6e 20 74 68 65 20 |ary.%   | in the |
|00003940| 66 75 6e 63 74 69 6f 6e | 20 70 72 6f 76 69 64 65 |function| provide|
|00003950| 64 20 61 73 20 5c 61 72 | 67 7b 31 7d 2e 0a 25 20 |d as \ar|g{1}..% |
|00003960| 20 20 20 5c 62 65 67 69 | 6e 7b 6d 61 63 72 6f 63 |   \begi|n{macroc|
|00003970| 6f 64 65 7d 0a 20 20 5c | 6c 61 62 65 6c 73 65 70 |ode}.  \|labelsep|
|00003980| 2e 35 65 6d 5c 72 65 6c | 61 78 20 5c 6c 65 74 5c |.5em\rel|ax \let\|
|00003990| 74 68 6d 68 65 61 64 6e | 6c 5c 72 65 6c 61 78 0a |thmheadn|l\relax.|
|000039a0| 20 20 5c 6c 65 74 5c 74 | 68 65 6f 72 65 6d 69 6e |  \let\t|heoremin|
|000039b0| 64 65 6e 74 5c 6e 6f 69 | 6e 64 65 6e 74 20 25 20 |dent\noi|ndent % |
|000039c0| 6e 6f 20 69 6e 64 65 6e | 74 0a 20 20 5c 6c 65 74 |no inden|t.  \let|
|000039d0| 5c 74 68 6d 40 73 77 61 | 70 5c 40 67 6f 62 62 6c |\thm@swa|p\@gobbl|
|000039e0| 65 0a 20 20 5c 74 68 65 | 6f 72 65 6d 68 65 61 64 |e.  \the|oremhead|
|000039f0| 66 6f 6e 74 7b 5c 62 66 | 73 65 72 69 65 73 7d 25 |font{\bf|series}%|
|00003a00| 20 68 65 61 64 69 6e 67 | 20 66 6f 6e 74 20 62 6f | heading| font bo|
|00003a10| 6c 64 0a 20 20 5c 74 68 | 65 6f 72 65 6d 68 65 61 |ld.  \th|eoremhea|
|00003a20| 64 70 75 6e 63 74 7b 2e | 7d 25 20 61 64 64 20 70 |dpunct{.|}% add p|
|00003a30| 65 72 69 6f 64 20 61 66 | 74 65 72 20 68 65 61 64 |eriod af|ter head|
|00003a40| 69 6e 67 0a 20 20 5c 74 | 68 65 6f 72 65 6d 70 72 |ing.  \t|heorempr|
|00003a50| 65 73 6b 69 70 61 6d 6f | 75 6e 74 5c 74 6f 70 73 |eskipamo|unt\tops|
|00003a60| 65 70 0a 20 20 5c 74 68 | 65 6f 72 65 6d 70 6f 73 |ep.  \th|eorempos|
|00003a70| 74 73 6b 69 70 61 6d 6f | 75 6e 74 5c 74 68 65 6f |tskipamo|unt\theo|
|00003a80| 72 65 6d 70 72 65 73 6b | 69 70 61 6d 6f 75 6e 74 |rempresk|ipamount|
|00003a90| 0a 20 20 23 31 25 20 73 | 74 79 6c 65 20 6f 76 65 |.  #1% s|tyle ove|
|00003aa0| 72 72 69 64 65 73 0a 20 | 20 5c 40 74 6f 70 73 65 |rrides. | \@topse|
|00003ab0| 70 20 5c 74 68 65 6f 72 | 65 6d 70 72 65 73 6b 69 |p \theor|empreski|
|00003ac0| 70 61 6d 6f 75 6e 74 20 | 20 20 20 20 20 20 20 20 |pamount |        |
|00003ad0| 20 20 20 20 20 20 25 20 | 75 73 65 64 20 62 79 20 |      % |used by |
|00003ae0| 66 69 72 73 74 20 5c 69 | 74 65 6d 0a 20 20 5c 40 |first \i|tem.  \@|
|00003af0| 74 6f 70 73 65 70 61 64 | 64 20 5c 74 68 65 6f 72 |topsepad|d \theor|
|00003b00| 65 6d 70 6f 73 74 73 6b | 69 70 61 6d 6f 75 6e 74 |empostsk|ipamount|
|00003b10| 20 20 20 20 20 20 20 20 | 20 20 20 25 20 75 73 65 |        |   % use|
|00003b20| 64 20 62 79 20 5c 40 65 | 6e 64 70 61 72 65 6e 76 |d by \@e|ndparenv|
|00003b30| 0a 20 20 5c 64 65 66 5c | 40 74 65 6d 70 61 7b 23 |.  \def\|@tempa{#|
|00003b40| 32 7d 5c 69 66 78 5c 40 | 65 6d 70 74 79 5c 40 74 |2}\ifx\@|empty\@t|
|00003b50| 65 6d 70 61 0a 20 20 20 | 20 5c 64 65 66 5c 40 74 |empa.   | \def\@t|
|00003b60| 65 6d 70 61 7b 5c 40 6f | 70 61 72 67 7b 5c 40 62 |empa{\@o|parg{\@b|
|00003b70| 65 67 69 6e 74 68 65 6f | 72 65 6d 7b 23 33 7d 7b |egintheo|rem{#3}{|
|00003b80| 7d 7d 5b 5d 7d 25 0a 20 | 20 5c 65 6c 73 65 0a 20 |}}[]}%. | \else. |
|00003b90| 20 20 20 5c 72 65 66 73 | 74 65 70 63 6f 75 6e 74 |   \refs|tepcount|
|00003ba0| 65 72 7b 23 32 7d 25 0a | 20 20 20 20 5c 64 65 66 |er{#2}%.|    \def|
|00003bb0| 5c 40 74 65 6d 70 61 7b | 5c 40 6f 70 61 72 67 7b |\@tempa{|\@oparg{|
|00003bc0| 5c 40 62 65 67 69 6e 74 | 68 65 6f 72 65 6d 7b 23 |\@begint|heorem{#|
|00003bd0| 33 7d 7b 5c 63 73 6e 61 | 6d 65 20 74 68 65 23 32 |3}{\csna|me the#2|
|00003be0| 5c 65 6e 64 63 73 6e 61 | 6d 65 7d 7d 5b 5d 7d 25 |\endcsna|me}}[]}%|
|00003bf0| 0a 20 20 5c 66 69 0a 20 | 20 5c 40 74 65 6d 70 61 |.  \fi. | \@tempa|
|00003c00| 0a 7d 0a 25 20 20 20 20 | 5c 65 6e 64 7b 6d 61 63 |.}.%    |\end{mac|
|00003c10| 72 6f 63 6f 64 65 7d 0a | 25 0a 25 20 20 20 20 54 |rocode}.|%.%    T|
|00003c20| 68 69 73 20 76 61 72 69 | 61 74 69 6f 6e 20 6f 66 |his vari|ation of|
|00003c30| 20 74 68 65 20 5c 63 73 | 7b 40 74 68 6d 7d 20 63 | the \cs|{@thm} c|
|00003c40| 6f 6d 6d 61 6e 64 20 69 | 73 20 6e 6f 20 6c 6f 6e |ommand i|s no lon|
|00003c50| 67 65 72 20 6e 65 65 64 | 65 64 2e 20 54 68 65 0a |ger need|ed. The.|
|00003c60| 25 20 20 20 20 76 61 72 | 69 61 74 69 6f 6e 20 5c |%    var|iation \|
|00003c70| 63 73 7b 40 78 74 68 6d | 7d 20 77 61 73 20 63 6f |cs{@xthm|} was co|
|00003c80| 6d 6d 61 6e 64 65 65 72 | 65 64 20 66 6f 72 20 5c |mmandeer|ed for \|
|00003c90| 63 6e 7b 6e 65 77 74 68 | 65 6f 72 65 6d 7d 20 75 |cn{newth|eorem} u|
|00003ca0| 73 65 2e 0a 25 20 20 20 | 20 5c 62 65 67 69 6e 7b |se..%   | \begin{|
|00003cb0| 6d 61 63 72 6f 63 6f 64 | 65 7d 0a 5c 6c 65 74 5c |macrocod|e}.\let\|
|00003cc0| 40 79 74 68 6d 5c 72 65 | 6c 61 78 0a 25 20 20 20 |@ythm\re|lax.%   |
|00003cd0| 20 5c 65 6e 64 7b 6d 61 | 63 72 6f 63 6f 64 65 7d | \end{ma|crocode}|
|00003ce0| 0a 25 0a 25 20 20 20 20 | 49 6e 69 74 20 5c 63 6e |.%.%    |Init \cn|
|00003cf0| 7b 74 68 6d 6e 61 6d 65 | 7d 20 65 74 63 2e 0a 25 |{thmname|} etc..%|
|00003d00| 20 20 20 20 5c 62 65 67 | 69 6e 7b 6d 61 63 72 6f |    \beg|in{macro|
|00003d10| 63 6f 64 65 7d 0a 5c 6c | 65 74 5c 74 68 6d 6e 61 |code}.\l|et\thmna|
|00003d20| 6d 65 5c 40 69 64 65 6e | 20 5c 6c 65 74 5c 74 68 |me\@iden| \let\th|
|00003d30| 6d 6e 75 6d 62 65 72 5c | 40 69 64 65 6e 20 5c 6c |mnumber\|@iden \l|
|00003d40| 65 74 5c 74 68 6d 6e 6f | 74 65 5c 40 69 64 65 6e |et\thmno|te\@iden|
|00003d50| 0a 5c 64 65 66 5c 74 68 | 6d 68 65 61 64 40 70 6c |.\def\th|mhead@pl|
|00003d60| 61 69 6e 23 31 23 32 23 | 33 7b 25 0a 20 20 5c 74 |ain#1#2#|3{%.  \t|
|00003d70| 68 6d 6e 61 6d 65 7b 23 | 31 7d 5c 74 68 6d 6e 75 |hmname{#|1}\thmnu|
|00003d80| 6d 62 65 72 7b 20 23 32 | 7d 5c 74 68 6d 6e 6f 74 |mber{ #2|}\thmnot|
|00003d90| 65 7b 20 7b 5c 74 68 65 | 5c 74 68 65 6f 72 65 6d |e{ {\the|\theorem|
|00003da0| 6e 6f 74 65 66 6f 6e 74 | 28 23 33 29 7d 7d 7d 0a |notefont|(#3)}}}.|
|00003db0| 5c 6c 65 74 5c 74 68 6d | 68 65 61 64 5c 74 68 6d |\let\thm|head\thm|
|00003dc0| 68 65 61 64 40 70 6c 61 | 69 6e 0a 5c 64 65 66 5c |head@pla|in.\def\|
|00003dd0| 73 77 61 70 70 65 64 68 | 65 61 64 23 31 23 32 23 |swappedh|ead#1#2#|
|00003de0| 33 7b 25 0a 20 20 5c 74 | 68 6d 6e 75 6d 62 65 72 |3{%.  \t|hmnumber|
|00003df0| 7b 23 32 7d 5c 74 68 6d | 6e 61 6d 65 7b 2e 20 23 |{#2}\thm|name{. #|
|00003e00| 31 7d 5c 74 68 6d 6e 6f | 74 65 7b 20 7b 5c 74 68 |1}\thmno|te{ {\th|
|00003e10| 65 5c 74 68 65 6f 72 65 | 6d 6e 6f 74 65 66 6f 6e |e\theore|mnotefon|
|00003e20| 74 28 23 33 29 7d 7d 7d | 0a 25 20 20 20 20 5c 65 |t(#3)}}}|.%    \e|
|00003e30| 6e 64 7b 6d 61 63 72 6f | 63 6f 64 65 7d 0a 25 0a |nd{macro|code}.%.|
|00003e40| 25 20 20 20 20 49 6e 20 | 5c 63 73 7b 40 62 65 67 |%    In |\cs{@beg|
|00003e50| 69 6e 74 68 65 6f 72 65 | 6d 7d 20 5c 63 6e 7b 74 |intheore|m} \cn{t|
|00003e60| 68 6d 68 65 61 64 6e 6c | 7d 20 69 73 20 63 61 6c |hmheadnl|} is cal|
|00003e70| 6c 65 64 20 61 66 74 65 | 72 20 74 68 65 20 74 68 |led afte|r the th|
|00003e80| 65 6f 72 65 6d 0a 25 20 | 20 20 20 68 65 61 64 3a |eorem.% |   head:|
|00003e90| 20 6d 61 79 62 65 20 61 | 20 6e 65 77 6c 69 6e 65 | maybe a| newline|
|00003ea0| 2c 20 6f 74 68 65 72 77 | 69 73 65 20 61 20 6e 6f |, otherw|ise a no|
|00003eb0| 2d 6f 70 2e 0a 25 20 20 | 20 20 5c 62 65 67 69 6e |-op..%  |  \begin|
|00003ec0| 7b 6d 61 63 72 6f 63 6f | 64 65 7d 0a 5c 6c 65 74 |{macroco|de}.\let|
|00003ed0| 5c 74 68 6d 68 65 61 64 | 6e 6c 5c 72 65 6c 61 78 |\thmhead|nl\relax|
|00003ee0| 0a 25 20 20 20 20 5c 65 | 6e 64 7b 6d 61 63 72 6f |.%    \e|nd{macro|
|00003ef0| 63 6f 64 65 7d 0a 25 0a | 25 20 20 20 20 49 66 20 |code}.%.|%    If |
|00003f00| 61 72 67 75 6d 65 6e 74 | 20 5c 61 72 67 7b 32 7d |argument| \arg{2}|
|00003f10| 20 69 73 20 65 6d 70 74 | 79 2c 20 74 68 65 6e 20 | is empt|y, then |
|00003f20| 74 68 69 73 20 69 73 20 | 61 6e 20 75 6e 6e 75 6d |this is |an unnum|
|00003f30| 62 65 72 65 64 0a 25 20 | 20 20 20 65 6e 76 69 72 |bered.% |   envir|
|00003f40| 6f 6e 6d 65 6e 74 2e 20 | 4f 74 68 65 72 77 69 73 |onment. |Otherwis|
|00003f50| 65 20 5c 61 72 67 7b 32 | 7d 20 69 73 20 61 20 6e |e \arg{2|} is a n|
|00003f60| 75 6d 62 65 72 69 6e 67 | 20 63 6f 6d 6d 61 6e 64 |umbering| command|
|00003f70| 20 73 75 63 68 20 61 73 | 0a 25 20 20 20 20 5c 63 | such as|.%    \c|
|00003f80| 6e 7b 74 68 65 78 79 7a | 7d 2e 0a 25 20 20 20 20 |n{thexyz|}..%    |
|00003f90| 5c 62 65 67 69 6e 7b 6d | 61 63 72 6f 63 6f 64 65 |\begin{m|acrocode|
|00003fa0| 7d 0a 5c 64 65 66 5c 40 | 62 65 67 69 6e 74 68 65 |}.\def\@|beginthe|
|00003fb0| 6f 72 65 6d 23 31 23 32 | 5b 23 33 5d 7b 25 0a 20 |orem#1#2|[#3]{%. |
|00003fc0| 20 5c 69 74 65 6d 5b 5c | 6e 6f 72 6d 61 6c 66 6f | \item[\|normalfo|
|00003fd0| 6e 74 20 25 20 72 65 73 | 65 74 20 69 6e 20 63 61 |nt % res|et in ca|
|00003fe0| 73 65 20 62 6f 64 79 20 | 66 6f 6e 74 20 69 73 20 |se body |font is |
|00003ff0| 61 62 6e 6f 72 6d 61 6c | 0a 25 20 20 20 20 5c 65 |abnormal|.%    \e|
|00004000| 6e 64 7b 6d 61 63 72 6f | 63 6f 64 65 7d 0a 25 20 |nd{macro|code}.% |
|00004010| 20 20 20 54 68 65 20 73 | 74 61 6e 64 61 72 64 20 |   The s|tandard |
|00004020| 77 65 69 72 64 20 63 6f | 6d 70 65 6e 73 61 74 69 |weird co|mpensati|
|00004030| 6f 6e 20 66 6f 72 20 6c | 61 62 65 6c 73 65 70 20 |on for l|abelsep |
|00004040| 73 70 61 63 65 20 69 6e | 73 69 64 65 20 61 0a 25 |space in|side a.%|
|00004050| 20 20 20 20 5c 63 73 7b | 74 72 69 76 6c 69 73 74 |    \cs{|trivlist|
|00004060| 7d 20 5c 63 6e 7b 69 74 | 65 6d 7d 3a 0a 25 20 20 |} \cn{it|em}:.%  |
|00004070| 20 20 5c 62 65 67 69 6e | 7b 6d 61 63 72 6f 63 6f |  \begin|{macroco|
|00004080| 64 65 7d 0a 20 20 5c 68 | 73 6b 69 70 5c 6c 61 62 |de}.  \h|skip\lab|
|00004090| 65 6c 73 65 70 0a 20 20 | 5c 74 68 65 5c 74 68 65 |elsep.  |\the\the|
|000040a0| 6f 72 65 6d 68 65 61 64 | 66 6f 6e 74 0a 20 20 5c |oremhead|font.  \|
|000040b0| 74 68 65 6f 72 65 6d 69 | 6e 64 65 6e 74 0a 25 20 |theoremi|ndent.% |
|000040c0| 20 20 20 5c 65 6e 64 7b | 6d 61 63 72 6f 63 6f 64 |   \end{|macrocod|
|000040d0| 65 7d 0a 25 20 20 20 20 | 43 68 61 6e 67 65 73 20 |e}.%    |Changes |
|000040e0| 74 6f 20 5c 63 73 7b 74 | 68 6d 6e 75 6d 62 65 72 |to \cs{t|hmnumber|
|000040f0| 7d 20 61 6e 64 20 5c 63 | 73 7b 74 68 6d 6e 6f 74 |} and \c|s{thmnot|
|00004100| 65 7d 20 61 72 65 20 6c | 6f 63 61 6c 20 74 6f 20 |e} are l|ocal to |
|00004110| 74 68 69 73 20 67 72 6f | 75 70 2e 0a 25 20 20 20 |this gro|up..%   |
|00004120| 20 5c 62 65 67 69 6e 7b | 6d 61 63 72 6f 63 6f 64 | \begin{|macrocod|
|00004130| 65 7d 0a 20 20 5c 40 69 | 66 65 6d 70 74 79 7b 23 |e}.  \@i|fempty{#|
|00004140| 31 7d 7b 5c 6c 65 74 5c | 74 68 6d 6e 61 6d 65 5c |1}{\let\|thmname\|
|00004150| 40 67 6f 62 62 6c 65 7d | 7b 5c 6c 65 74 5c 74 68 |@gobble}|{\let\th|
|00004160| 6d 6e 61 6d 65 5c 40 69 | 64 65 6e 7d 25 0a 20 20 |mname\@i|den}%.  |
|00004170| 5c 40 69 66 65 6d 70 74 | 79 7b 23 32 7d 7b 5c 6c |\@ifempt|y{#2}{\l|
|00004180| 65 74 5c 74 68 6d 6e 75 | 6d 62 65 72 5c 40 67 6f |et\thmnu|mber\@go|
|00004190| 62 62 6c 65 7d 7b 5c 6c | 65 74 5c 74 68 6d 6e 75 |bble}{\l|et\thmnu|
|000041a0| 6d 62 65 72 5c 40 69 64 | 65 6e 7d 25 0a 20 20 5c |mber\@id|en}%.  \|
|000041b0| 40 69 66 65 6d 70 74 79 | 7b 23 33 7d 7b 5c 6c 65 |@ifempty|{#3}{\le|
|000041c0| 74 5c 74 68 6d 6e 6f 74 | 65 5c 40 67 6f 62 62 6c |t\thmnot|e\@gobbl|
|000041d0| 65 7d 7b 5c 6c 65 74 5c | 74 68 6d 6e 6f 74 65 5c |e}{\let\|thmnote\|
|000041e0| 40 69 64 65 6e 7d 25 0a | 25 20 20 20 20 5c 65 6e |@iden}%.|%    \en|
|000041f0| 64 7b 6d 61 63 72 6f 63 | 6f 64 65 7d 0a 25 20 20 |d{macroc|ode}.%  |
|00004200| 20 20 54 68 65 20 5c 63 | 73 7b 74 68 6d 40 73 77 |  The \c|s{thm@sw|
|00004210| 61 70 7d 20 66 75 6e 63 | 74 69 6f 6e 20 73 65 6c |ap} func|tion sel|
|00004220| 65 63 74 73 20 65 69 74 | 68 65 72 20 5c 63 73 7b |ects eit|her \cs{|
|00004230| 73 77 61 70 70 65 64 68 | 65 61 64 7d 20 6f 72 0a |swappedh|ead} or.|
|00004240| 25 20 20 20 20 5c 63 73 | 7b 74 68 6d 68 65 61 64 |%    \cs|{thmhead|
|00004250| 7d 2e 0a 25 20 20 20 20 | 5c 62 65 67 69 6e 7b 6d |}..%    |\begin{m|
|00004260| 61 63 72 6f 63 6f 64 65 | 7d 0a 20 20 5c 74 68 6d |acrocode|}.  \thm|
|00004270| 40 73 77 61 70 5c 73 77 | 61 70 70 65 64 68 65 61 |@swap\sw|appedhea|
|00004280| 64 5c 74 68 6d 68 65 61 | 64 7b 23 31 7d 7b 23 32 |d\thmhea|d{#1}{#2|
|00004290| 7d 7b 23 33 7d 25 0a 25 | 20 20 20 20 5c 65 6e 64 |}{#3}%.%|    \end|
|000042a0| 7b 6d 61 63 72 6f 63 6f | 64 65 7d 0a 25 20 20 20 |{macroco|de}.%   |
|000042b0| 20 49 20 63 61 6e 27 74 | 20 74 68 69 6e 6b 20 6f | I can't| think o|
|000042c0| 66 20 61 6e 79 20 65 78 | 61 6d 70 6c 65 20 77 68 |f any ex|ample wh|
|000042d0| 65 72 65 20 74 68 65 20 | 61 66 74 65 72 2d 68 65 |ere the |after-he|
|000042e0| 61 64 20 70 75 6e 63 74 | 75 61 74 69 6f 6e 0a 25 |ad punct|uation.%|
|000042f0| 20 20 20 20 73 68 6f 75 | 6c 64 20 62 65 20 6f 6d |    shou|ld be om|
|00004300| 69 74 74 65 64 20 73 6f | 20 69 74 20 73 65 65 6d |itted so| it seem|
|00004310| 73 20 63 6f 72 72 65 63 | 74 20 6e 6f 74 20 74 6f |s correc|t not to|
|00004320| 20 75 73 65 20 5c 63 73 | 7b 40 61 64 64 70 75 6e | use \cs|{@addpun|
|00004330| 63 74 7d 0a 25 20 20 20 | 20 68 65 72 65 2e 0a 25 |ct}.%   | here..%|
|00004340| 20 20 20 20 5c 62 65 67 | 69 6e 7b 6d 61 63 72 6f |    \beg|in{macro|
|00004350| 63 6f 64 65 7d 0a 20 20 | 5c 74 68 65 5c 74 68 65 |code}.  |\the\the|
|00004360| 6f 72 65 6d 68 65 61 64 | 70 75 6e 63 74 5d 25 0a |oremhead|punct]%.|
|00004370| 20 20 5c 74 68 6d 68 65 | 61 64 6e 6c 20 25 20 70 |  \thmhe|adnl % p|
|00004380| 6f 73 73 69 62 6c 79 20 | 61 20 6e 65 77 6c 69 6e |ossibly |a newlin|
|00004390| 65 2e 0a 20 20 5c 69 67 | 6e 6f 72 65 73 70 61 63 |e..  \ig|norespac|
|000043a0| 65 73 7d 0a 25 20 20 20 | 20 5c 65 6e 64 7b 6d 61 |es}.%   | \end{ma|
|000043b0| 63 72 6f 63 6f 64 65 7d | 0a 25 0a 25 20 20 5c 62 |crocode}|.%.%  \b|
|000043c0| 65 67 69 6e 7b 6d 61 63 | 72 6f 7d 7b 5c 6e 6f 6e |egin{mac|ro}{\non|
|000043d0| 73 6c 61 6e 74 65 64 7d | 0a 25 20 20 20 20 54 68 |slanted}|.%    Th|
|000043e0| 65 20 5c 63 6e 7b 6e 6f | 6e 73 6c 61 6e 74 65 64 |e \cn{no|nslanted|
|000043f0| 7d 20 63 6f 6d 6d 61 6e | 64 20 63 68 61 6e 67 65 |} comman|d change|
|00004400| 73 20 74 68 65 20 63 75 | 72 72 65 6e 74 20 66 6f |s the cu|rrent fo|
|00004410| 6e 74 20 74 6f 0a 25 20 | 20 20 20 5c 63 6e 7b 75 |nt to.% |   \cn{u|
|00004420| 70 73 68 61 70 65 7d 20 | 69 66 20 69 74 20 69 73 |pshape} |if it is|
|00004430| 20 5c 63 6e 7b 69 74 73 | 68 61 70 65 7d 20 6f 72 | \cn{its|hape} or|
|00004440| 20 5c 63 6e 7b 73 6c 73 | 68 61 70 65 7d 2e 20 54 | \cn{sls|hape}. T|
|00004450| 68 69 73 20 69 73 20 75 | 73 65 64 0a 25 20 20 20 |his is u|sed.%   |
|00004460| 20 66 6f 72 20 64 6f 63 | 75 6d 65 6e 74 20 73 74 | for doc|ument st|
|00004470| 72 75 63 74 75 72 65 20 | 6e 75 6d 62 65 72 73 20 |ructure |numbers |
|00004480| 74 68 61 74 20 73 68 6f | 75 6c 64 20 62 65 20 63 |that sho|uld be c|
|00004490| 6f 6e 73 69 73 74 65 6e | 74 6c 79 20 75 70 72 69 |onsisten|tly upri|
|000044a0| 67 68 74 0a 25 20 20 20 | 20 69 6e 20 61 6c 6c 20 |ght.%   | in all |
|000044b0| 63 6f 6e 74 65 78 74 73 | 2e 0a 25 20 20 20 20 5c |contexts|..%    \|
|000044c0| 62 65 67 69 6e 7b 6d 61 | 63 72 6f 63 6f 64 65 7d |begin{ma|crocode}|
|000044d0| 0a 5c 64 65 66 5c 6e 6f | 6e 73 6c 61 6e 74 65 64 |.\def\no|nslanted|
|000044e0| 7b 5c 72 65 6c 61 78 0a | 25 20 20 20 20 5c 65 6e |{\relax.|%    \en|
|000044f0| 64 7b 6d 61 63 72 6f 63 | 6f 64 65 7d 0a 25 20 20 |d{macroc|ode}.%  |
|00004500| 20 20 43 61 6e 27 74 20 | 64 6f 20 61 20 64 69 72 |  Can't |do a dir|
|00004510| 65 63 74 20 5c 63 73 7b | 69 66 78 7d 20 62 65 74 |ect \cs{|ifx} bet|
|00004520| 77 65 65 6e 20 5c 63 73 | 7b 66 40 73 68 61 70 65 |ween \cs|{f@shape|
|00004530| 7d 20 61 6e 64 20 5c 63 | 73 7b 69 74 64 65 66 61 |} and \c|s{itdefa|
|00004540| 75 6c 74 7d 0a 25 20 20 | 20 20 62 65 63 61 75 73 |ult}.%  |  becaus|
|00004550| 65 20 74 68 65 20 6c 61 | 74 74 65 72 20 69 73 20 |e the la|tter is |
|00004560| 5c 63 73 7b 6c 6f 6e 67 | 7d 20 28 67 72 75 6d 62 |\cs{long|} (grumb|
|00004570| 6c 65 20 67 72 75 6d 62 | 6c 65 29 2e 0a 25 20 20 |le grumb|le)..%  |
|00004580| 20 20 5c 62 65 67 69 6e | 7b 6d 61 63 72 6f 63 6f |  \begin|{macroco|
|00004590| 64 65 7d 0a 20 20 5c 40 | 78 70 5c 6c 65 74 5c 40 |de}.  \@|xp\let\@|
|000045a0| 78 70 5c 40 74 65 6d 70 | 61 5c 63 73 6e 61 6d 65 |xp\@temp|a\csname|
|000045b0| 5c 66 40 73 68 61 70 65 | 20 73 68 61 70 65 5c 65 |\f@shape| shape\e|
|000045c0| 6e 64 63 73 6e 61 6d 65 | 0a 20 20 5c 69 66 78 5c |ndcsname|.  \ifx\|
|000045d0| 40 74 65 6d 70 61 5c 69 | 74 73 68 61 70 65 5c 75 |@tempa\i|tshape\u|
|000045e0| 70 73 68 61 70 65 0a 20 | 20 5c 65 6c 73 65 5c 69 |pshape. | \else\i|
|000045f0| 66 78 5c 40 74 65 6d 70 | 61 5c 73 6c 73 68 61 70 |fx\@temp|a\slshap|
|00004600| 65 5c 75 70 73 68 61 70 | 65 5c 66 69 5c 66 69 7d |e\upshap|e\fi\fi}|
|00004610| 0a 25 20 20 20 20 5c 65 | 6e 64 7b 6d 61 63 72 6f |.%    \e|nd{macro|
|00004620| 63 6f 64 65 7d 0a 25 20 | 20 5c 65 6e 64 7b 6d 61 |code}.% | \end{ma|
|00004630| 63 72 6f 7d 0a 25 0a 25 | 20 20 5c 62 65 67 69 6e |cro}.%.%|  \begin|
|00004640| 7b 6d 61 63 72 6f 7d 7b | 5c 73 77 61 70 6e 75 6d |{macro}{|\swapnum|
|00004650| 62 65 72 73 7d 0a 25 20 | 20 20 20 54 68 65 20 5c |bers}.% |   The \|
|00004660| 63 6e 7b 73 77 61 70 6e | 75 6d 62 65 72 73 7d 20 |cn{swapn|umbers} |
|00004670| 63 6f 6d 6d 61 6e 64 20 | 73 65 74 73 20 61 20 73 |command |sets a s|
|00004680| 77 69 74 63 68 20 5c 63 | 73 7b 74 68 6d 40 73 77 |witch \c|s{thm@sw|
|00004690| 61 70 7d 20 74 68 61 74 | 20 69 73 0a 25 20 20 20 |ap} that| is.%   |
|000046a0| 20 75 73 65 64 20 62 79 | 20 5c 63 6e 7b 6e 65 77 | used by| \cn{new|
|000046b0| 74 68 65 6f 72 65 6d 7d | 2e 20 54 6f 20 63 6f 6e |theorem}|. To con|
|000046c0| 73 65 72 76 65 20 68 61 | 73 68 20 74 61 62 6c 65 |serve ha|sh table|
|000046d0| 20 77 65 20 6c 6f 61 64 | 0a 25 20 20 20 20 5c 63 | we load|.%    \c|
|000046e0| 73 7b 74 68 6d 40 73 77 | 61 70 7d 20 77 69 74 68 |s{thm@sw|ap} with|
|000046f0| 20 74 77 6f 20 75 73 65 | 73 3b 20 74 68 65 20 66 | two use|s; the f|
|00004700| 69 72 73 74 20 6f 6e 65 | 20 69 73 20 6e 65 65 64 |irst one| is need|
|00004710| 65 64 20 6f 6e 6c 79 20 | 69 6e 0a 25 20 20 20 20 |ed only |in.%    |
|00004720| 5c 63 6e 7b 6e 65 77 74 | 68 65 6f 72 65 6d 7d 20 |\cn{newt|heorem} |
|00004730| 64 65 63 6c 61 72 61 74 | 69 6f 6e 73 20 61 6e 64 |declarat|ions and|
|00004740| 20 74 68 65 20 73 65 63 | 6f 6e 64 20 6f 6e 65 20 | the sec|ond one |
|00004750| 69 73 20 6e 65 65 64 65 | 64 20 6f 6e 6c 79 20 69 |is neede|d only i|
|00004760| 6e 0a 25 20 20 20 20 74 | 79 70 65 73 65 74 74 69 |n.%    t|ypesetti|
|00004770| 6e 67 20 74 68 65 6f 72 | 65 6d 20 65 6e 76 69 72 |ng theor|em envir|
|00004780| 6f 6e 6d 65 6e 74 73 2e | 0a 25 20 20 20 20 5c 62 |onments.|.%    \b|
|00004790| 65 67 69 6e 7b 6d 61 63 | 72 6f 63 6f 64 65 7d 0a |egin{mac|rocode}.|
|000047a0| 5c 64 65 66 5c 73 77 61 | 70 6e 75 6d 62 65 72 73 |\def\swa|pnumbers|
|000047b0| 7b 5c 65 64 65 66 5c 74 | 68 6d 40 73 77 61 70 7b |{\edef\t|hm@swap{|
|000047c0| 5c 69 66 20 53 5c 74 68 | 6d 40 73 77 61 70 20 4e |\if S\th|m@swap N|
|000047d0| 5c 65 6c 73 65 20 53 5c | 66 69 7d 7d 0a 5c 64 65 |\else S\|fi}}.\de|
|000047e0| 66 5c 74 68 6d 40 73 77 | 61 70 7b 4e 7d 25 0a 25 |f\thm@sw|ap{N}%.%|
|000047f0| 20 20 20 20 5c 65 6e 64 | 7b 6d 61 63 72 6f 63 6f |    \end|{macroco|
|00004800| 64 65 7d 0a 25 20 20 5c | 65 6e 64 7b 6d 61 63 72 |de}.%  \|end{macr|
|00004810| 6f 7d 0a 25 0a 25 20 20 | 20 20 5c 63 73 7b 40 6f |o}.%.%  |  \cs{@o|
|00004820| 70 61 72 67 62 65 67 69 | 6e 74 68 65 6f 72 65 6d |pargbegi|ntheorem|
|00004830| 7d 20 6e 6f 74 20 6e 65 | 65 64 65 64 2c 20 5c 63 |} not ne|eded, \c|
|00004840| 73 7b 40 6f 70 61 72 67 | 7d 20 75 74 69 6c 69 74 |s{@oparg|} utilit|
|00004850| 79 20 73 65 72 76 65 73 | 0a 25 20 20 20 20 69 6e |y serves|.%    in|
|00004860| 73 74 65 61 64 2e 0a 25 | 20 20 20 20 5c 62 65 67 |stead..%|    \beg|
|00004870| 69 6e 7b 6d 61 63 72 6f | 63 6f 64 65 7d 0a 5c 6c |in{macro|code}.\l|
|00004880| 65 74 5c 40 6f 70 61 72 | 67 62 65 67 69 6e 74 68 |et\@opar|gbeginth|
|00004890| 65 6f 72 65 6d 5c 72 65 | 6c 61 78 0a 25 20 20 20 |eorem\re|lax.%   |
|000048a0| 20 5c 65 6e 64 7b 6d 61 | 63 72 6f 63 6f 64 65 7d | \end{ma|crocode}|
|000048b0| 0a 25 0a 25 20 20 20 20 | 45 78 63 65 70 74 20 66 |.%.%    |Except f|
|000048c0| 6f 72 20 74 68 65 20 62 | 6f 64 79 20 66 6f 6e 74 |or the b|ody font|
|000048d0| 2c 20 64 65 66 61 75 6c | 74 20 76 61 6c 75 65 73 |, defaul|t values|
|000048e0| 20 61 72 65 20 62 75 69 | 6c 74 20 69 6e 74 6f 20 | are bui|lt into |
|000048f0| 5c 63 73 7b 40 74 68 6d | 7d 2e 0a 25 20 20 20 20 |\cs{@thm|}..%    |
|00004900| 5c 62 65 67 69 6e 7b 6d | 61 63 72 6f 63 6f 64 65 |\begin{m|acrocode|
|00004910| 7d 0a 5c 64 65 66 5c 74 | 68 40 70 6c 61 69 6e 7b |}.\def\t|h@plain{|
|00004920| 25 0a 25 25 20 20 5c 6c | 65 74 5c 74 68 65 6f 72 |%.%%  \l|et\theor|
|00004930| 65 6d 69 6e 64 65 6e 74 | 5c 6e 6f 69 6e 64 65 6e |emindent|\noinden|
|00004940| 74 20 25 20 6e 6f 20 69 | 6e 64 65 6e 74 0a 25 25 |t % no i|ndent.%%|
|00004950| 20 20 5c 74 68 65 6f 72 | 65 6d 68 65 61 64 66 6f |  \theor|emheadfo|
|00004960| 6e 74 7b 5c 62 66 73 65 | 72 69 65 73 7d 25 20 68 |nt{\bfse|ries}% h|
|00004970| 65 61 64 69 6e 67 20 66 | 6f 6e 74 20 69 73 20 62 |eading f|ont is b|
|00004980| 6f 6c 64 0a 25 25 20 20 | 5c 74 68 65 6f 72 65 6d |old.%%  |\theorem|
|00004990| 6e 6f 74 65 66 6f 6e 74 | 7b 7d 25 20 73 61 6d 65 |notefont|{}% same|
|000049a0| 20 61 73 20 68 65 61 64 | 69 6e 67 20 66 6f 6e 74 | as head|ing font|
|000049b0| 0a 25 25 20 20 5c 74 68 | 65 6f 72 65 6d 68 65 61 |.%%  \th|eoremhea|
|000049c0| 64 70 75 6e 63 74 7b 2e | 7d 25 20 61 64 64 20 70 |dpunct{.|}% add p|
|000049d0| 65 72 69 6f 64 20 61 66 | 74 65 72 20 68 65 61 64 |eriod af|ter head|
|000049e0| 69 6e 67 0a 25 25 20 20 | 5c 6c 65 74 5c 74 68 6d |ing.%%  |\let\thm|
|000049f0| 40 73 77 61 70 5c 40 67 | 6f 62 62 6c 65 0a 25 25 |@swap\@g|obble.%%|
|00004a00| 20 20 5c 74 68 65 6f 72 | 65 6d 70 72 65 73 6b 69 |  \theor|empreski|
|00004a10| 70 61 6d 6f 75 6e 74 5c | 74 6f 70 73 65 70 0a 25 |pamount\|topsep.%|
|00004a20| 25 20 20 5c 74 68 65 6f | 72 65 6d 70 6f 73 74 73 |%  \theo|remposts|
|00004a30| 6b 69 70 61 6d 6f 75 6e | 74 5c 74 68 65 6f 72 65 |kipamoun|t\theore|
|00004a40| 6d 70 72 65 73 6b 69 70 | 61 6d 6f 75 6e 74 0a 20 |mpreskip|amount. |
|00004a50| 20 5c 69 74 73 68 61 70 | 65 20 25 20 62 6f 64 79 | \itshap|e % body|
|00004a60| 20 66 6f 6e 74 0a 7d 0a | 25 20 20 20 20 5c 65 6e | font.}.|%    \en|
|00004a70| 64 7b 6d 61 63 72 6f 63 | 6f 64 65 7d 0a 25 0a 25 |d{macroc|ode}.%.%|
|00004a80| 20 20 20 20 54 68 65 6f | 72 65 6d 20 73 74 79 6c |    Theo|rem styl|
|00004a90| 65 20 60 64 65 66 69 6e | 69 74 69 6f 6e 27 20 69 |e `defin|ition' i|
|00004aa0| 73 20 74 68 65 20 73 61 | 6d 65 20 61 73 20 60 70 |s the sa|me as `p|
|00004ab0| 6c 61 69 6e 27 20 65 78 | 63 65 70 74 20 66 6f 72 |lain' ex|cept for|
|00004ac0| 20 74 68 65 0a 25 20 20 | 20 20 62 6f 64 79 20 66 | the.%  |  body f|
|00004ad0| 6f 6e 74 2e 0a 25 20 20 | 20 20 5c 62 65 67 69 6e |ont..%  |  \begin|
|00004ae0| 7b 6d 61 63 72 6f 63 6f | 64 65 7d 0a 5c 64 65 66 |{macroco|de}.\def|
|00004af0| 5c 74 68 40 64 65 66 69 | 6e 69 74 69 6f 6e 7b 25 |\th@defi|nition{%|
|00004b00| 0a 20 20 5c 6e 6f 72 6d | 61 6c 66 6f 6e 74 20 25 |.  \norm|alfont %|
|00004b10| 20 62 6f 64 79 20 66 6f | 6e 74 0a 7d 0a 25 20 20 | body fo|nt.}.%  |
|00004b20| 20 20 5c 65 6e 64 7b 6d | 61 63 72 6f 63 6f 64 65 |  \end{m|acrocode|
|00004b30| 7d 0a 25 0a 25 20 20 20 | 20 54 68 65 6f 72 65 6d |}.%.%   | Theorem|
|00004b40| 20 73 74 79 6c 65 20 60 | 72 65 6d 61 72 6b 27 20 | style `|remark' |
|00004b50| 64 69 66 66 65 72 73 20 | 66 72 6f 6d 20 60 70 6c |differs |from `pl|
|00004b60| 61 69 6e 27 20 69 6e 20 | 68 65 61 64 20 66 6f 6e |ain' in |head fon|
|00004b70| 74 20 61 6e 64 20 20 62 | 6f 64 79 0a 25 20 20 20 |t and  b|ody.%   |
|00004b80| 20 66 6f 6e 74 2e 20 41 | 6c 73 6f 20 73 6d 61 6c | font. A|lso smal|
|00004b90| 6c 65 72 20 73 70 61 63 | 69 6e 67 20 61 62 6f 76 |ler spac|ing abov|
|00004ba0| 65 20 61 6e 64 20 62 65 | 6c 6f 77 2e 0a 25 20 20 |e and be|low..%  |
|00004bb0| 20 20 5c 62 65 67 69 6e | 7b 6d 61 63 72 6f 63 6f |  \begin|{macroco|
|00004bc0| 64 65 7d 0a 5c 64 65 66 | 5c 74 68 40 72 65 6d 61 |de}.\def|\th@rema|
|00004bd0| 72 6b 7b 25 0a 20 20 5c | 74 68 65 6f 72 65 6d 68 |rk{%.  \|theoremh|
|00004be0| 65 61 64 66 6f 6e 74 7b | 5c 69 74 73 68 61 70 65 |eadfont{|\itshape|
|00004bf0| 7d 25 0a 20 20 5c 6e 6f | 72 6d 61 6c 66 6f 6e 74 |}%.  \no|rmalfont|
|00004c00| 20 25 20 62 6f 64 79 20 | 66 6f 6e 74 0a 20 20 5c | % body |font.  \|
|00004c10| 74 68 65 6f 72 65 6d 70 | 72 65 73 6b 69 70 61 6d |theoremp|reskipam|
|00004c20| 6f 75 6e 74 5c 74 6f 70 | 73 65 70 0a 20 20 5c 64 |ount\top|sep.  \d|
|00004c30| 69 76 69 64 65 5c 74 68 | 65 6f 72 65 6d 70 72 65 |ivide\th|eorempre|
|00004c40| 73 6b 69 70 61 6d 6f 75 | 6e 74 5c 74 77 40 0a 20 |skipamou|nt\tw@. |
|00004c50| 20 5c 74 68 65 6f 72 65 | 6d 70 6f 73 74 73 6b 69 | \theore|mpostski|
|00004c60| 70 61 6d 6f 75 6e 74 5c | 74 68 65 6f 72 65 6d 70 |pamount\|theoremp|
|00004c70| 72 65 73 6b 69 70 61 6d | 6f 75 6e 74 0a 7d 0a 25 |reskipam|ount.}.%|
|00004c80| 20 20 20 20 5c 65 6e 64 | 7b 6d 61 63 72 6f 63 6f |    \end|{macroco|
|00004c90| 64 65 7d 0a 25 0a 25 20 | 20 20 20 54 68 65 20 73 |de}.%.% |   The s|
|00004ca0| 74 61 6e 64 61 72 64 20 | 64 65 66 69 6e 69 74 69 |tandard |definiti|
|00004cb0| 6f 6e 20 6f 66 20 5c 63 | 73 7b 40 65 6e 64 74 68 |on of \c|s{@endth|
|00004cc0| 65 6f 72 65 6d 7d 20 69 | 73 20 6a 75 73 74 0a 25 |eorem} i|s just.%|
|00004cd0| 20 20 20 20 5c 63 73 7b | 65 6e 64 74 72 69 76 6c |    \cs{|endtrivl|
|00004ce0| 69 73 74 7d 2c 20 62 75 | 74 20 74 68 61 74 20 64 |ist}, bu|t that d|
|00004cf0| 6f 65 73 6e 27 74 20 61 | 75 74 6f 6d 61 74 69 63 |oesn't a|utomatic|
|00004d00| 61 6c 6c 79 20 73 74 61 | 72 74 20 61 20 6e 65 77 |ally sta|rt a new|
|00004d10| 0a 25 20 20 20 20 70 61 | 72 61 67 72 61 70 68 2c |.%    pa|ragraph,|
|00004d20| 20 73 6f 20 77 65 20 61 | 64 64 20 5c 63 73 7b 40 | so we a|dd \cs{@|
|00004d30| 65 6e 64 70 65 66 61 6c | 73 65 7d 20 69 6e 20 6f |endpefal|se} in o|
|00004d40| 72 64 65 72 20 74 6f 20 | 65 6e 73 75 72 65 20 61 |rder to |ensure a|
|00004d50| 20 6e 65 77 0a 25 20 20 | 20 20 70 61 72 61 67 72 | new.%  |  paragr|
|00004d60| 61 70 68 2e 0a 25 20 20 | 20 20 5c 62 65 67 69 6e |aph..%  |  \begin|
|00004d70| 7b 6d 61 63 72 6f 63 6f | 64 65 7d 0a 5c 64 65 66 |{macroco|de}.\def|
|00004d80| 5c 40 65 6e 64 74 68 65 | 6f 72 65 6d 7b 5c 65 6e |\@endthe|orem{\en|
|00004d90| 64 74 72 69 76 6c 69 73 | 74 5c 40 65 6e 64 70 65 |dtrivlis|t\@endpe|
|00004da0| 66 61 6c 73 65 20 7d 0a | 25 20 20 20 20 5c 65 6e |false }.|%    \en|
|00004db0| 64 7b 6d 61 63 72 6f 63 | 6f 64 65 7d 0a 25 0a 25 |d{macroc|ode}.%.%|
|00004dc0| 20 20 5c 62 65 67 69 6e | 7b 6d 61 63 72 6f 7d 7b |  \begin|{macro}{|
|00004dd0| 5c 6e 65 77 74 68 65 6f | 72 65 6d 73 74 79 6c 65 |\newtheo|remstyle|
|00004de0| 7d 0a 25 20 20 20 20 41 | 6e 20 65 61 73 79 20 77 |}.%    A|n easy w|
|00004df0| 61 79 20 74 6f 20 6d 61 | 6b 65 20 61 20 6e 6f 74 |ay to ma|ke a not|
|00004e00| 20 74 6f 6f 20 63 6f 6d | 70 6c 69 63 61 74 65 64 | too com|plicated|
|00004e10| 20 76 61 72 69 61 6e 74 | 20 74 68 65 6f 72 65 6d | variant| theorem|
|00004e20| 20 73 74 79 6c 65 2e 0a | 25 20 20 20 20 55 73 61 | style..|%    Usa|
|00004e30| 67 65 3a 0a 25 20 5c 62 | 65 67 69 6e 7b 76 65 72 |ge:.% \b|egin{ver|
|00004e40| 62 61 74 69 6d 7d 0a 25 | 20 20 20 20 20 20 20 20 |batim}.%|        |
|00004e50| 20 20 20 20 20 20 20 20 | 20 20 20 23 31 0a 25 20 |        |   #1.% |
|00004e60| 5c 6e 65 77 74 68 65 6f | 72 65 6d 73 74 79 6c 65 |\newtheo|remstyle|
|00004e70| 7b 4e 41 4d 45 7d 25 0a | 25 20 20 20 20 20 23 32 |{NAME}%.|%     #2|
|00004e80| 20 20 20 20 20 20 20 20 | 20 20 23 33 20 20 20 20 |        |  #3    |
|00004e90| 20 20 20 20 20 20 23 34 | 0a 25 20 20 20 7b 41 42 |      #4|.%   {AB|
|00004ea0| 4f 56 45 53 50 41 43 45 | 7d 7b 42 45 4c 4f 57 53 |OVESPACE|}{BELOWS|
|00004eb0| 50 41 43 45 7d 7b 42 4f | 44 59 46 4f 4e 54 7d 25 |PACE}{BO|DYFONT}%|
|00004ec0| 0a 25 20 20 20 20 20 23 | 35 20 20 20 20 20 20 23 |.%     #|5      #|
|00004ed0| 36 20 20 20 20 20 20 20 | 20 23 37 20 20 20 20 20 |6       | #7     |
|00004ee0| 20 20 20 20 23 38 0a 25 | 20 20 20 7b 49 4e 44 45 |    #8.%|   {INDE|
|00004ef0| 4e 54 7d 7b 48 45 41 44 | 46 4f 4e 54 7d 7b 48 45 |NT}{HEAD|FONT}{HE|
|00004f00| 41 44 50 55 4e 43 54 7d | 7b 48 45 41 44 53 50 41 |ADPUNCT}|{HEADSPA|
|00004f10| 43 45 7d 25 0a 25 20 20 | 20 20 20 23 39 0a 25 20 |CE}%.%  |   #9.% |
|00004f20| 20 20 7b 43 55 53 54 4f | 4d 2d 48 45 41 44 2d 53 |  {CUSTO|M-HEAD-S|
|00004f30| 50 45 43 7d 0a 25 20 5c | 65 6e 64 7b 76 65 72 62 |PEC}.% \|end{verb|
|00004f40| 61 74 69 6d 7d 0a 25 20 | 20 20 20 5c 62 65 67 69 |atim}.% |   \begi|
|00004f50| 6e 7b 6d 61 63 72 6f 63 | 6f 64 65 7d 0a 5c 6e 65 |n{macroc|ode}.\ne|
|00004f60| 77 63 6f 6d 6d 61 6e 64 | 7b 5c 6e 65 77 74 68 65 |wcommand|{\newthe|
|00004f70| 6f 72 65 6d 73 74 79 6c | 65 7d 5b 39 5d 7b 25 0a |oremstyl|e}[9]{%.|
|00004f80| 25 20 20 20 20 5c 65 6e | 64 7b 6d 61 63 72 6f 63 |%    \en|d{macroc|
|00004f90| 6f 64 65 7d 0a 25 20 20 | 20 20 45 6d 70 74 79 20 |ode}.%  |  Empty |
|00004fa0| 6f 72 20 30 70 74 20 66 | 6f 72 20 5c 61 72 67 7b |or 0pt f|or \arg{|
|00004fb0| 35 7d 20 69 73 20 74 72 | 61 6e 73 6c 61 74 65 64 |5} is tr|anslated|
|00004fc0| 20 74 6f 20 5c 63 73 7b | 6e 6f 69 6e 64 65 6e 74 | to \cs{|noindent|
|00004fd0| 7d 2e 0a 25 20 20 20 20 | 5c 62 65 67 69 6e 7b 6d |}..%    |\begin{m|
|00004fe0| 61 63 72 6f 63 6f 64 65 | 7d 0a 20 20 5c 40 69 66 |acrocode|}.  \@if|
|00004ff0| 65 6d 70 74 79 7b 23 35 | 7d 7b 5c 64 69 6d 65 6e |empty{#5|}{\dimen|
|00005000| 40 5c 7a 40 73 6b 69 70 | 7d 7b 5c 64 69 6d 65 6e |@\z@skip|}{\dimen|
|00005010| 40 23 35 5c 72 65 6c 61 | 78 7d 25 0a 20 20 5c 69 |@#5\rela|x}%.  \i|
|00005020| 66 64 69 6d 5c 64 69 6d | 65 6e 40 3d 5c 7a 40 0a |fdim\dim|en@=\z@.|
|00005030| 25 20 20 20 20 5c 65 6e | 64 7b 6d 61 63 72 6f 63 |%    \en|d{macroc|
|00005040| 6f 64 65 7d 0a 25 20 20 | 20 20 5c 61 72 67 7b 34 |ode}.%  |  \arg{4|
|00005050| 7d 20 69 73 20 62 6f 64 | 79 20 66 6f 6e 74 2e 20 |} is bod|y font. |
|00005060| 45 78 74 72 61 20 63 6f | 64 65 20 63 6f 75 6c 64 |Extra co|de could|
|00005070| 20 62 65 20 69 6e 63 6c | 75 64 65 64 20 74 68 65 | be incl|uded the|
|00005080| 72 65 20 69 66 0a 25 20 | 20 20 20 6e 65 63 65 73 |re if.% |   neces|
|00005090| 73 61 72 79 2e 0a 25 20 | 20 20 20 5c 62 65 67 69 |sary..% |   \begi|
|000050a0| 6e 7b 6d 61 63 72 6f 63 | 6f 64 65 7d 0a 20 20 20 |n{macroc|ode}.   |
|000050b0| 20 5c 74 6f 6b 73 40 7b | 23 34 5c 6c 65 74 5c 74 | \toks@{|#4\let\t|
|000050c0| 68 65 6f 72 65 6d 69 6e | 64 65 6e 74 5c 6e 6f 69 |heoremin|dent\noi|
|000050d0| 6e 64 65 6e 74 7d 25 0a | 20 20 5c 65 6c 73 65 0a |ndent}%.|  \else.|
|000050e0| 20 20 20 20 5c 74 6f 6b | 73 40 7b 23 34 5c 64 65 |    \tok|s@{#4\de|
|000050f0| 66 5c 74 68 65 6f 72 65 | 6d 69 6e 64 65 6e 74 7b |f\theore|mindent{|
|00005100| 5c 6e 6f 69 6e 64 65 6e | 74 5c 68 62 6f 78 20 74 |\noinden|t\hbox t|
|00005110| 6f 23 35 7b 7d 7d 7d 25 | 0a 20 20 5c 66 69 0a 25 |o#5{}}}%|.  \fi.%|
|00005120| 20 20 20 20 5c 65 6e 64 | 7b 6d 61 63 72 6f 63 6f |    \end|{macroco|
|00005130| 64 65 7d 0a 25 20 20 20 | 20 41 72 67 20 5c 61 72 |de}.%   | Arg \ar|
|00005140| 67 7b 38 7d 20 69 73 20 | 61 20 67 6c 75 65 20 73 |g{8} is |a glue s|
|00005150| 70 65 63 20 66 6f 72 20 | 74 68 65 20 73 70 61 63 |pec for |the spac|
|00005160| 65 20 61 66 74 65 72 20 | 74 68 65 20 68 65 61 64 |e after |the head|
|00005170| 2e 20 41 73 0a 25 20 20 | 20 20 61 20 70 72 6f 70 |. As.%  |  a prop|
|00005180| 65 72 20 67 6c 75 65 20 | 73 70 65 63 20 66 6f 72 |er glue |spec for|
|00005190| 20 60 6e 6f 72 6d 61 6c | 20 69 6e 74 65 72 77 6f | `normal| interwo|
|000051a0| 72 64 20 73 70 61 63 65 | 27 20 69 73 20 72 61 74 |rd space|' is rat|
|000051b0| 68 65 72 20 68 61 72 64 | 20 74 6f 0a 25 20 20 20 |her hard| to.%   |
|000051c0| 20 77 72 69 74 65 2c 20 | 77 65 20 72 65 63 6f 67 | write, |we recog|
|000051d0| 6e 69 7a 65 20 61 6e 20 | 61 72 67 75 6d 65 6e 74 |nize an |argument|
|000051e0| 20 6f 66 20 7c 7b 20 7d | 7c 20 61 73 20 61 20 73 | of |{ }|| as a s|
|000051f0| 70 65 63 69 61 6c 20 63 | 61 73 65 20 61 6e 64 0a |pecial c|ase and.|
|00005200| 25 20 20 20 20 74 72 61 | 6e 73 6c 61 74 65 20 69 |%    tra|nslate i|
|00005210| 6e 74 65 72 6e 61 6c 6c | 79 20 74 6f 20 74 68 65 |nternall|y to the|
|00005220| 20 6e 65 63 65 73 73 61 | 72 79 20 66 6f 6e 74 64 | necessa|ry fontd|
|00005230| 69 6d 65 6e 20 65 71 75 | 69 76 61 6c 65 6e 74 2e |imen equ|ivalent.|
|00005240| 0a 25 20 20 20 20 46 75 | 72 74 68 65 72 6d 6f 72 |.%    Fu|rthermor|
|00005250| 65 2c 20 69 66 20 5c 61 | 72 67 7b 38 7d 20 63 6f |e, if \a|rg{8} co|
|00005260| 6e 73 69 73 74 73 20 65 | 6e 74 69 72 65 6c 79 20 |nsists e|ntirely |
|00005270| 6f 66 20 5c 63 6e 7b 6e | 65 77 6c 69 6e 65 7d 2c |of \cn{n|ewline},|
|00005280| 20 74 68 65 6e 20 77 65 | 0a 25 20 20 20 20 77 69 | then we|.%    wi|
|00005290| 6c 6c 20 70 65 72 66 6f | 72 6d 20 61 20 6c 69 6e |ll perfo|rm a lin|
|000052a0| 65 20 62 72 65 61 6b 20 | 61 66 74 65 72 20 74 68 |e break |after th|
|000052b0| 65 20 74 68 65 6f 72 65 | 6d 20 68 65 61 64 20 69 |e theore|m head i|
|000052c0| 6e 73 74 65 61 64 20 6f | 66 20 61 64 64 69 6e 67 |nstead o|f adding|
|000052d0| 0a 25 20 20 20 20 68 6f | 72 69 7a 6f 6e 74 61 6c |.%    ho|rizontal|
|000052e0| 20 73 70 61 63 65 2e 20 | 41 74 20 74 68 65 20 6d | space. |At the m|
|000052f0| 6f 6d 65 6e 74 20 5b 31 | 39 39 35 2f 30 31 2f 32 |oment [1|995/01/2|
|00005300| 33 5d 20 74 68 69 73 20 | 69 73 20 6e 6f 74 20 70 |3] this |is not p|
|00005310| 65 72 66 65 63 74 6c 79 | 0a 25 20 20 20 20 77 65 |erfectly|.%    we|
|00005320| 6c 6c 20 69 6d 70 6c 65 | 6d 65 6e 74 65 64 20 62 |ll imple|mented b|
|00005330| 65 63 61 75 73 65 20 6f | 66 20 63 6f 6d 70 6c 69 |ecause o|f compli|
|00005340| 63 61 74 69 6f 6e 73 20 | 77 69 74 68 20 74 68 65 |cations |with the|
|00005350| 20 77 61 79 20 5c 6c 61 | 74 65 78 2f 27 73 0a 25 | way \la|tex/'s.%|
|00005360| 20 20 20 20 5c 63 6e 7b | 69 74 65 6d 7d 20 61 64 |    \cn{|item} ad|
|00005370| 64 73 20 61 20 68 65 61 | 64 69 6e 67 20 74 6f 20 |ds a hea|ding to |
|00005380| 74 68 65 20 76 65 72 74 | 69 63 61 6c 20 6c 69 73 |the vert|ical lis|
|00005390| 74 3b 20 66 6f 72 20 62 | 65 73 74 20 72 65 73 75 |t; for b|est resu|
|000053a0| 6c 74 73 0a 25 20 20 20 | 20 74 68 65 72 65 20 73 |lts.%   | there s|
|000053b0| 68 6f 75 6c 64 20 6e 6f | 74 20 62 65 20 61 6e 79 |hould no|t be any|
|000053c0| 74 68 69 6e 67 20 28 6e | 6f 74 20 65 76 65 6e 20 |thing (n|ot even |
|000053d0| 61 20 62 6c 61 6e 6b 20 | 6c 69 6e 65 29 20 61 66 |a blank |line) af|
|000053e0| 74 65 72 20 74 68 65 0a | 25 20 20 20 20 7c 5c 62 |ter the.|%    |\b|
|000053f0| 65 67 69 6e 7b 78 78 78 | 7d 7c 20 63 6f 6d 6d 61 |egin{xxx|}| comma|
|00005400| 6e 64 2e 0a 25 20 20 20 | 20 5c 62 65 67 69 6e 7b |nd..%   | \begin{|
|00005410| 6d 61 63 72 6f 63 6f 64 | 65 7d 0a 20 20 5c 64 65 |macrocod|e}.  \de|
|00005420| 66 5c 40 74 65 6d 70 61 | 7b 23 38 7d 5c 69 66 78 |f\@tempa|{#8}\ifx|
|00005430| 5c 73 70 61 63 65 5c 40 | 74 65 6d 70 61 0a 25 20 |\space\@|tempa.% |
|00005440| 20 20 20 5c 65 6e 64 7b | 6d 61 63 72 6f 63 6f 64 |   \end{|macrocod|
|00005450| 65 7d 0a 25 20 20 20 20 | 4e 6f 74 69 63 65 20 74 |e}.%    |Notice t|
|00005460| 68 61 74 20 77 65 20 64 | 69 73 72 65 67 61 72 64 |hat we d|isregard|
|00005470| 20 73 74 72 65 74 63 68 | 20 61 6e 64 20 73 68 72 | stretch| and shr|
|00005480| 69 6e 6b 20 66 6f 72 20 | 6c 61 62 65 6c 73 65 70 |ink for |labelsep|
|00005490| 20 3d 0a 25 20 20 20 20 | 69 6e 74 65 72 77 6f 72 | =.%    |interwor|
|000054a0| 64 73 70 61 63 65 2e 0a | 25 20 20 20 20 5c 62 65 |dspace..|%    \be|
|000054b0| 67 69 6e 7b 6d 61 63 72 | 6f 63 6f 64 65 7d 0a 20 |gin{macr|ocode}. |
|000054c0| 20 20 20 5c 74 6f 6b 73 | 40 5c 40 78 70 7b 5c 74 |   \toks|@\@xp{\t|
|000054d0| 68 65 5c 74 6f 6b 73 40 | 20 5c 6c 61 62 65 6c 73 |he\toks@| \labels|
|000054e0| 65 70 5c 66 6f 6e 74 64 | 69 6d 65 6e 5c 74 77 40 |ep\fontd|imen\tw@|
|000054f0| 5c 66 6f 6e 74 5c 72 65 | 6c 61 78 7d 25 0a 20 20 |\font\re|lax}%.  |
|00005500| 5c 65 6c 73 65 0a 20 20 | 20 20 5c 64 65 66 5c 40 |\else.  |  \def\@|
|00005510| 74 65 6d 70 62 7b 5c 6e | 65 77 6c 69 6e 65 7d 25 |tempb{\n|ewline}%|
|00005520| 0a 20 20 20 20 5c 69 66 | 78 5c 40 74 65 6d 70 62 |.    \if|x\@tempb|
|00005530| 5c 40 74 65 6d 70 61 0a | 20 20 20 20 20 20 5c 74 |\@tempa.|      \t|
|00005540| 6f 6b 73 40 5c 40 78 70 | 7b 5c 74 68 65 5c 74 6f |oks@\@xp|{\the\to|
|00005550| 6b 73 40 20 5c 6c 61 62 | 65 6c 73 65 70 5c 7a 40 |ks@ \lab|elsep\z@|
|00005560| 73 6b 69 70 0a 20 20 20 | 20 20 20 20 20 5c 64 65 |skip.   |     \de|
|00005570| 66 5c 74 68 6d 68 65 61 | 64 6e 6c 7b 5c 6c 65 61 |f\thmhea|dnl{\lea|
|00005580| 76 65 76 6d 6f 64 65 5c | 6e 65 77 6c 69 6e 65 7d |vevmode\|newline}|
|00005590| 7d 25 0a 20 20 20 20 5c | 65 6c 73 65 0a 20 20 20 |}%.    \|else.   |
|000055a0| 20 20 20 5c 74 6f 6b 73 | 40 5c 40 78 70 7b 5c 74 |   \toks|@\@xp{\t|
|000055b0| 68 65 5c 74 6f 6b 73 40 | 20 5c 6c 61 62 65 6c 73 |he\toks@| \labels|
|000055c0| 65 70 23 38 5c 72 65 6c | 61 78 7d 25 0a 20 20 20 |ep#8\rel|ax}%.   |
|000055d0| 20 5c 66 69 0a 20 20 5c | 66 69 0a 20 20 5c 40 74 | \fi.  \|fi.  \@t|
|000055e0| 65 6d 70 74 6f 6b 65 6e | 61 7b 25 0a 20 20 20 20 |emptoken|a{%.    |
|000055f0| 5c 74 68 65 6f 72 65 6d | 70 72 65 73 6b 69 70 61 |\theorem|preskipa|
|00005600| 6d 6f 75 6e 74 23 32 5c | 72 65 6c 61 78 0a 20 20 |mount#2\|relax.  |
|00005610| 20 20 5c 74 68 65 6f 72 | 65 6d 70 6f 73 74 73 6b |  \theor|empostsk|
|00005620| 69 70 61 6d 6f 75 6e 74 | 23 33 5c 72 65 6c 61 78 |ipamount|#3\relax|
|00005630| 0a 20 20 20 20 5c 74 68 | 65 6f 72 65 6d 68 65 61 |.    \th|eoremhea|
|00005640| 64 66 6f 6e 74 7b 23 36 | 7d 5c 74 68 65 6f 72 65 |dfont{#6|}\theore|
|00005650| 6d 68 65 61 64 70 75 6e | 63 74 7b 23 37 7d 25 0a |mheadpun|ct{#7}%.|
|00005660| 20 20 7d 25 0a 20 20 5c | 40 69 66 65 6d 70 74 79 |  }%.  \|@ifempty|
|00005670| 7b 23 39 7d 7b 25 0a 20 | 20 20 20 5c 6c 65 74 5c |{#9}{%. |   \let\|
|00005680| 74 68 6d 68 65 61 64 5c | 74 68 6d 68 65 61 64 40 |thmhead\|thmhead@|
|00005690| 70 6c 61 69 6e 0a 20 20 | 7d 7b 25 0a 20 20 20 20 |plain.  |}{%.    |
|000056a0| 5c 40 6e 61 6d 65 64 65 | 66 7b 74 68 6d 68 65 61 |\@namede|f{thmhea|
|000056b0| 64 40 23 31 7d 23 23 31 | 23 23 32 23 23 33 7b 23 |d@#1}##1|##2##3{#|
|000056c0| 39 7d 25 0a 20 20 20 20 | 5c 40 74 65 6d 70 74 6f |9}%.    |\@tempto|
|000056d0| 6b 65 6e 61 5c 40 78 70 | 7b 5c 74 68 65 5c 40 74 |kena\@xp|{\the\@t|
|000056e0| 65 6d 70 74 6f 6b 65 6e | 61 0a 20 20 20 20 20 20 |emptoken|a.      |
|000056f0| 5c 40 78 70 5c 6c 65 74 | 5c 40 78 70 5c 74 68 6d |\@xp\let|\@xp\thm|
|00005700| 68 65 61 64 5c 63 73 6e | 61 6d 65 20 74 68 6d 68 |head\csn|ame thmh|
|00005710| 65 61 64 40 23 31 5c 65 | 6e 64 63 73 6e 61 6d 65 |ead@#1\e|ndcsname|
|00005720| 7d 25 0a 20 20 7d 25 0a | 20 20 5c 40 78 70 5c 78 |}%.  }%.|  \@xp\x|
|00005730| 64 65 66 5c 63 73 6e 61 | 6d 65 20 74 68 40 23 31 |def\csna|me th@#1|
|00005740| 5c 65 6e 64 63 73 6e 61 | 6d 65 7b 5c 74 68 65 5c |\endcsna|me{\the\|
|00005750| 74 6f 6b 73 40 20 5c 74 | 68 65 5c 40 74 65 6d 70 |toks@ \t|he\@temp|
|00005760| 74 6f 6b 65 6e 61 7d 25 | 0a 7d 0a 25 20 20 20 20 |tokena}%|.}.%    |
|00005770| 5c 65 6e 64 7b 6d 61 63 | 72 6f 63 6f 64 65 7d 0a |\end{mac|rocode}.|
|00005780| 25 20 20 5c 65 6e 64 7b | 6d 61 63 72 6f 7d 0a 25 |%  \end{|macro}.%|
|00005790| 0a 25 0a 25 20 20 5c 62 | 65 67 69 6e 7b 6d 61 63 |.%.%  \b|egin{mac|
|000057a0| 72 6f 7d 7b 5c 71 65 64 | 7d 0a 25 20 20 20 20 44 |ro}{\qed|}.%    D|
|000057b0| 65 66 69 6e 65 20 5c 63 | 6e 7b 71 65 64 7d 20 66 |efine \c|n{qed} f|
|000057c0| 6f 72 20 65 6e 64 20 6f | 66 20 70 72 6f 6f 66 2e |or end o|f proof.|
|000057d0| 20 54 68 69 73 20 63 6f | 6d 6d 61 6e 64 20 6d 69 | This co|mmand mi|
|000057e0| 67 68 74 0a 25 20 20 20 | 20 6f 63 63 75 72 20 69 |ght.%   | occur i|
|000057f0| 6e 20 6d 61 74 68 20 6d | 6f 64 65 2c 20 69 6e 20 |n math m|ode, in |
|00005800| 61 20 64 69 73 70 6c 61 | 79 65 64 20 65 71 75 61 |a displa|yed equa|
|00005810| 74 69 6f 6e 2c 20 62 75 | 74 20 69 74 20 73 68 6f |tion, bu|t it sho|
|00005820| 75 6c 64 20 6e 65 76 65 | 72 0a 25 20 20 20 20 6f |uld neve|r.%    o|
|00005830| 63 63 75 72 20 69 6e 20 | 69 6e 6e 65 72 20 6d 61 |ccur in |inner ma|
|00005840| 74 68 20 6d 6f 64 65 20 | 69 6e 20 6f 72 64 69 6e |th mode |in ordin|
|00005850| 61 72 79 20 70 61 72 61 | 67 72 61 70 68 20 74 65 |ary para|graph te|
|00005860| 78 74 2e 0a 25 20 20 20 | 20 5c 62 65 67 69 6e 7b |xt..%   | \begin{|
|00005870| 6d 61 63 72 6f 63 6f 64 | 65 7d 0a 5c 44 65 63 6c |macrocod|e}.\Decl|
|00005880| 61 72 65 52 6f 62 75 73 | 74 43 6f 6d 6d 61 6e 64 |areRobus|tCommand|
|00005890| 7b 5c 71 65 64 7d 7b 25 | 0a 20 20 5c 69 66 6d 6d |{\qed}{%|.  \ifmm|
|000058a0| 6f 64 65 20 25 20 69 66 | 20 6d 61 74 68 20 6d 6f |ode % if| math mo|
|000058b0| 64 65 2c 20 61 73 73 75 | 6d 65 20 64 69 73 70 6c |de, assu|me displ|
|000058c0| 61 79 3a 20 6f 6d 69 74 | 20 70 65 6e 61 6c 74 79 |ay: omit| penalty|
|000058d0| 20 65 74 63 2e 0a 20 20 | 5c 65 6c 73 65 20 5c 6c | etc..  |\else \l|
|000058e0| 65 61 76 65 76 6d 6f 64 | 65 5c 75 6e 73 6b 69 70 |eavevmod|e\unskip|
|000058f0| 5c 70 65 6e 61 6c 74 79 | 39 39 39 39 20 5c 68 62 |\penalty|9999 \hb|
|00005900| 6f 78 7b 7d 5c 6e 6f 62 | 72 65 61 6b 5c 68 66 69 |ox{}\nob|reak\hfi|
|00005910| 6c 6c 0a 20 20 5c 66 69 | 0a 25 20 20 20 20 5c 65 |ll.  \fi|.%    \e|
|00005920| 6e 64 7b 6d 61 63 72 6f | 63 6f 64 65 7d 0a 25 20 |nd{macro|code}.% |
|00005930| 20 20 20 54 68 65 20 68 | 62 6f 78 20 69 73 20 74 |   The h|box is t|
|00005940| 6f 20 70 72 65 76 65 6e | 74 20 61 20 6c 69 6e 65 |o preven|t a line|
|00005950| 20 62 72 65 61 6b 20 77 | 69 74 68 69 6e 20 74 68 | break w|ithin th|
|00005960| 65 20 5c 63 6e 7b 71 65 | 64 73 79 6d 62 6f 6c 7d |e \cn{qe|dsymbol}|
|00005970| 20 69 66 20 69 74 0a 25 | 20 20 20 20 69 73 20 64 | if it.%|    is d|
|00005980| 65 66 69 6e 65 64 20 74 | 6f 20 62 65 20 73 6f 6d |efined t|o be som|
|00005990| 65 74 68 69 6e 67 20 63 | 6f 6d 70 6f 73 69 74 65 |ething c|omposite|
|000059a0| 2d 2d 2d 20 65 2e 67 2e | 2c 20 74 68 69 6e 67 73 |--- e.g.|, things|
|000059b0| 20 6c 69 6b 65 0a 25 20 | 20 20 20 5c 76 65 72 62 | like.% |   \verb|
|000059c0| 22 28 43 6f 72 6f 6c 6c | 61 72 79 20 31 2e 32 29 |"(Coroll|ary 1.2)|
|000059d0| 20 5c 6f 70 65 6e 62 6f | 78 22 20 61 73 20 61 72 | \openbo|x" as ar|
|000059e0| 65 20 6f 63 63 61 73 69 | 6f 6e 61 6c 6c 79 20 64 |e occasi|onally d|
|000059f0| 6f 6e 65 2e 0a 25 20 20 | 20 20 5c 62 65 67 69 6e |one..%  |  \begin|
|00005a00| 7b 6d 61 63 72 6f 63 6f | 64 65 7d 0a 20 20 5c 71 |{macroco|de}.  \q|
|00005a10| 75 61 64 5c 68 62 6f 78 | 7b 5c 71 65 64 73 79 6d |uad\hbox|{\qedsym|
|00005a20| 62 6f 6c 7d 7d 0a 25 20 | 20 20 20 5c 65 6e 64 7b |bol}}.% |   \end{|
|00005a30| 6d 61 63 72 6f 63 6f 64 | 65 7d 0a 25 20 20 5c 65 |macrocod|e}.%  \e|
|00005a40| 6e 64 7b 6d 61 63 72 6f | 7d 0a 25 0a 25 20 20 20 |nd{macro|}.%.%   |
|00005a50| 20 54 68 65 20 72 65 61 | 73 6f 6e 20 74 68 61 74 | The rea|son that|
|00005a60| 20 77 65 20 64 6f 20 6e | 6f 74 20 73 69 6d 70 6c | we do n|ot simpl|
|00005a70| 79 20 75 73 65 20 74 68 | 65 20 5c 63 6e 7b 73 71 |y use th|e \cn{sq|
|00005a80| 75 61 72 65 7d 20 73 79 | 6d 62 6f 6c 20 66 72 6f |uare} sy|mbol fro|
|00005a90| 6d 0a 25 20 20 20 20 6d | 73 61 6d 20 66 6f 72 20 |m.%    m|sam for |
|00005aa0| 74 68 65 20 6f 70 65 6e | 2d 62 6f 78 20 71 65 64 |the open|-box qed|
|00005ab0| 20 73 79 6d 62 6f 6c 20 | 69 73 20 74 68 61 74 20 | symbol |is that |
|00005ac0| 77 65 20 77 61 6e 74 20 | 74 6f 20 61 76 6f 69 64 |we want |to avoid|
|00005ad0| 20 72 65 71 75 69 72 69 | 6e 67 0a 25 20 20 20 20 | requiri|ng.%    |
|00005ae0| 75 73 65 72 73 20 74 6f | 20 68 61 76 65 20 74 68 |users to| have th|
|00005af0| 65 20 41 4d 53 46 6f 6e | 74 73 20 66 6f 6e 74 20 |e AMSFon|ts font |
|00005b00| 70 61 63 6b 61 67 65 2e | 20 41 6e 64 20 74 68 65 |package.| And the|
|00005b10| 20 5c 66 6e 7b 6c 61 73 | 79 7d 20 5c 63 6e 7b 42 | \fn{las|y} \cn{B|
|00005b20| 6f 78 7d 0a 25 20 20 20 | 20 69 73 20 74 6f 6f 20 |ox}.%   | is too |
|00005b30| 6c 61 72 67 65 2e 0a 25 | 20 20 20 20 5c 62 65 67 |large..%|    \beg|
|00005b40| 69 6e 7b 6d 61 63 72 6f | 63 6f 64 65 7d 0a 5c 6e |in{macro|code}.\n|
|00005b50| 65 77 63 6f 6d 6d 61 6e | 64 7b 5c 6f 70 65 6e 62 |ewcomman|d{\openb|
|00005b60| 6f 78 7d 7b 5c 6c 65 61 | 76 65 76 6d 6f 64 65 0a |ox}{\lea|vevmode.|
|00005b70| 25 20 20 20 20 5c 65 6e | 64 7b 6d 61 63 72 6f 63 |%    \en|d{macroc|
|00005b80| 6f 64 65 7d 0a 25 20 20 | 20 20 49 20 74 68 69 6e |ode}.%  |  I thin|
|00005b90| 6b 20 49 20 67 6f 74 20 | 74 68 65 73 65 20 6e 75 |k I got |these nu|
|00005ba0| 6d 62 65 72 73 20 66 72 | 6f 6d 20 6d 65 61 73 75 |mbers fr|om measu|
|00005bb0| 72 69 6e 67 20 5c 66 6e | 7b 6d 73 61 6d 7d 27 73 |ring \fn|{msam}'s|
|00005bc0| 20 5c 63 6e 7b 73 71 75 | 61 72 65 7d 0a 25 20 20 | \cn{squ|are}.%  |
|00005bd0| 20 20 62 75 74 20 49 20 | 66 6f 72 67 6f 74 20 74 |  but I |forgot t|
|00005be0| 6f 20 6d 61 6b 65 20 6e | 6f 74 65 73 20 61 74 20 |o make n|otes at |
|00005bf0| 74 68 65 20 74 69 6d 65 | 2e 20 5b 6d 6a 64 2c 31 |the time|. [mjd,1|
|00005c00| 39 39 35 2f 30 31 2f 32 | 35 5d 0a 25 20 20 20 20 |995/01/2|5].%    |
|00005c10| 5c 62 65 67 69 6e 7b 6d | 61 63 72 6f 63 6f 64 65 |\begin{m|acrocode|
|00005c20| 7d 0a 20 20 5c 68 62 6f | 78 20 74 6f 2e 37 37 37 |}.  \hbo|x to.777|
|00005c30| 37 38 65 6d 7b 25 0a 20 | 20 5c 68 66 69 6c 5c 76 |78em{%. | \hfil\v|
|00005c40| 72 75 6c 65 0a 20 20 5c | 76 62 6f 78 20 74 6f 2e |rule.  \|vbox to.|
|00005c50| 36 37 35 65 6d 7b 5c 68 | 72 75 6c 65 20 77 69 64 |675em{\h|rule wid|
|00005c60| 74 68 2e 36 65 6d 5c 76 | 66 69 6c 5c 68 72 75 6c |th.6em\v|fil\hrul|
|00005c70| 65 7d 25 0a 20 20 5c 76 | 72 75 6c 65 5c 68 66 69 |e}%.  \v|rule\hfi|
|00005c80| 6c 7d 7d 0a 5c 6e 65 77 | 63 6f 6d 6d 61 6e 64 7b |l}}.\new|command{|
|00005c90| 5c 71 65 64 73 79 6d 62 | 6f 6c 7d 7b 5c 6f 70 65 |\qedsymb|ol}{\ope|
|00005ca0| 6e 62 6f 78 7d 0a 25 20 | 20 20 20 5c 65 6e 64 7b |nbox}.% |   \end{|
|00005cb0| 6d 61 63 72 6f 63 6f 64 | 65 7d 0a 25 0a 25 20 20 |macrocod|e}.%.%  |
|00005cc0| 20 20 54 68 65 20 70 72 | 6f 6f 66 20 65 6e 76 69 |  The pr|oof envi|
|00005cd0| 72 6f 6e 6d 65 6e 74 20 | 69 73 20 6e 65 76 65 72 |ronment |is never|
|00005ce0| 20 6e 75 6d 62 65 72 65 | 64 2c 20 61 6e 64 20 68 | numbere|d, and h|
|00005cf0| 61 73 20 61 20 5c 63 6e | 7b 71 65 64 7d 20 61 74 |as a \cn|{qed} at|
|00005d00| 20 74 68 65 0a 25 20 20 | 20 20 65 6e 64 2c 20 77 | the.%  |  end, w|
|00005d10| 68 69 63 68 20 6d 61 6b | 65 73 20 69 74 20 69 6e |hich mak|es it in|
|00005d20| 63 6f 6e 76 65 6e 69 65 | 6e 74 20 74 6f 20 75 73 |convenie|nt to us|
|00005d30| 65 20 5c 63 6e 7b 6e 65 | 77 74 68 65 6f 72 65 6d |e \cn{ne|wtheorem|
|00005d40| 7d 20 66 6f 72 0a 25 20 | 20 20 20 64 65 66 69 6e |} for.% |   defin|
|00005d50| 69 6e 67 20 69 74 2e 20 | 41 6c 73 6f 20 61 75 74 |ing it. |Also aut|
|00005d60| 68 6f 72 73 20 66 72 65 | 71 75 65 6e 74 6c 79 20 |hors fre|quently |
|00005d70| 6e 65 65 64 20 74 6f 20 | 73 75 62 73 74 69 74 75 |need to |substitu|
|00005d80| 74 65 20 61 6e 0a 25 20 | 20 20 20 61 6c 74 65 72 |te an.% |   alter|
|00005d90| 6e 61 74 69 76 65 20 68 | 65 61 64 69 6e 67 20 74 |native h|eading t|
|00005da0| 65 78 74 20 28 65 2e 67 | 2e 20 60 50 72 6f 6f 66 |ext (e.g|. `Proof|
|00005db0| 20 6f 66 20 4c 65 6d 6d | 61 20 34 2e 33 27 29 0a | of Lemm|a 4.3').|
|00005dc0| 25 20 20 20 20 69 6e 73 | 74 65 61 64 20 6f 66 20 |%    ins|tead of |
|00005dd0| 74 68 65 20 64 65 66 61 | 75 6c 74 20 60 50 72 6f |the defa|ult `Pro|
|00005de0| 6f 66 27 2e 20 46 6f 72 | 20 61 6c 6c 20 74 68 65 |of'. For| all the|
|00005df0| 73 65 20 72 65 61 73 6f | 6e 73 20 77 65 20 64 65 |se reaso|ns we de|
|00005e00| 66 69 6e 65 20 74 68 65 | 0a 25 20 20 20 20 70 72 |fine the|.%    pr|
|00005e10| 6f 6f 66 20 65 6e 76 69 | 72 6f 6e 6d 65 6e 74 20 |oof envi|ronment |
|00005e20| 68 65 72 65 20 69 6e 73 | 74 65 61 64 20 6f 66 20 |here ins|tead of |
|00005e30| 6c 65 61 76 69 6e 67 20 | 69 74 20 66 6f 72 20 61 |leaving |it for a|
|00005e40| 75 74 68 6f 72 73 20 74 | 6f 20 64 65 66 69 6e 65 |uthors t|o define|
|00005e50| 2e 0a 25 20 20 20 20 5c | 62 65 67 69 6e 7b 6d 61 |..%    \|begin{ma|
|00005e60| 63 72 6f 63 6f 64 65 7d | 0a 5c 6e 65 77 65 6e 76 |crocode}|.\newenv|
|00005e70| 69 72 6f 6e 6d 65 6e 74 | 7b 70 72 6f 6f 66 7d 5b |ironment|{proof}[|
|00005e80| 31 5d 5b 5c 70 72 6f 6f | 66 6e 61 6d 65 5d 7b 5c |1][\proo|fname]{\|
|00005e90| 70 61 72 0a 20 20 5c 6e | 6f 72 6d 61 6c 66 6f 6e |par.  \n|ormalfon|
|00005ea0| 74 0a 20 20 5c 74 6f 70 | 73 65 70 36 5c 70 40 5c |t.  \top|sep6\p@\|
|00005eb0| 40 70 6c 75 73 36 5c 70 | 40 20 5c 74 72 69 76 6c |@plus6\p|@ \trivl|
|00005ec0| 69 73 74 0a 20 20 5c 69 | 74 65 6d 5b 5c 68 73 6b |ist.  \i|tem[\hsk|
|00005ed0| 69 70 5c 6c 61 62 65 6c | 73 65 70 5c 69 74 73 68 |ip\label|sep\itsh|
|00005ee0| 61 70 65 0a 20 20 20 20 | 23 31 5c 40 61 64 64 70 |ape.    |#1\@addp|
|00005ef0| 75 6e 63 74 7b 2e 7d 5d | 5c 69 67 6e 6f 72 65 73 |unct{.}]|\ignores|
|00005f00| 70 61 63 65 73 0a 7d 7b | 25 0a 20 20 5c 71 65 64 |paces.}{|%.  \qed|
|00005f10| 5c 65 6e 64 74 72 69 76 | 6c 69 73 74 0a 7d 0a 25 |\endtriv|list.}.%|
|00005f20| 20 20 20 20 5c 65 6e 64 | 7b 6d 61 63 72 6f 63 6f |    \end|{macroco|
|00005f30| 64 65 7d 0a 25 20 20 20 | 20 44 65 66 61 75 6c 74 |de}.%   | Default|
|00005f40| 20 66 6f 72 20 5c 63 6e | 7b 70 72 6f 6f 66 6e 61 | for \cn|{proofna|
|00005f50| 6d 65 7d 3a 0a 25 20 20 | 20 20 5c 62 65 67 69 6e |me}:.%  |  \begin|
|00005f60| 7b 6d 61 63 72 6f 63 6f | 64 65 7d 0a 5c 6e 65 77 |{macroco|de}.\new|
|00005f70| 63 6f 6d 6d 61 6e 64 7b | 5c 70 72 6f 6f 66 6e 61 |command{|\proofna|
|00005f80| 6d 65 7d 7b 50 72 6f 6f | 66 7d 0a 25 20 20 20 20 |me}{Proo|f}.%    |
|00005f90| 5c 65 6e 64 7b 6d 61 63 | 72 6f 63 6f 64 65 7d 0a |\end{mac|rocode}.|
|00005fa0| 25 0a 25 20 20 20 20 41 | 6e 79 20 6f 70 74 69 6f |%.%    A|ny optio|
|00005fb0| 6e 20 67 69 76 65 6e 20 | 69 6e 20 74 68 65 20 5c |n given |in the \|
|00005fc0| 63 6e 7b 75 73 65 70 61 | 63 6b 61 67 65 7d 20 73 |cn{usepa|ckage} s|
|00005fd0| 74 61 74 65 6d 65 6e 74 | 20 77 69 6c 6c 20 62 65 |tatement| will be|
|00005fe0| 20 74 72 65 61 74 65 64 | 0a 25 20 20 20 20 61 73 | treated|.%    as|
|00005ff0| 20 74 68 65 20 6e 61 6d | 65 20 6f 66 20 61 20 66 | the nam|e of a f|
|00006000| 69 6c 65 20 63 6f 6e 74 | 61 69 6e 69 6e 67 20 61 |ile cont|aining a|
|00006010| 64 64 69 74 69 6f 6e 61 | 6c 20 74 68 65 6f 72 65 |dditiona|l theore|
|00006020| 6d 20 73 74 79 6c 65 0a | 25 20 20 20 20 64 65 66 |m style.|%    def|
|00006030| 69 6e 69 74 69 6f 6e 73 | 2e 0a 25 20 20 20 20 5c |initions|..%    \|
|00006040| 62 65 67 69 6e 7b 6d 61 | 63 72 6f 63 6f 64 65 7d |begin{ma|crocode}|
|00006050| 0a 5c 44 65 63 6c 61 72 | 65 4f 70 74 69 6f 6e 2a |.\Declar|eOption*|
|00006060| 7b 5c 69 6e 70 75 74 7b | 5c 43 75 72 72 65 6e 74 |{\input{|\Current|
|00006070| 4f 70 74 69 6f 6e 20 2e | 74 68 6d 7d 7d 0a 5c 50 |Option .|thm}}.\P|
|00006080| 72 6f 63 65 73 73 4f 70 | 74 69 6f 6e 73 0a 25 20 |rocessOp|tions.% |
|00006090| 20 20 20 5c 65 6e 64 7b | 6d 61 63 72 6f 63 6f 64 |   \end{|macrocod|
|000060a0| 65 7d 0a 25 0a 25 20 20 | 20 20 46 6f 72 20 72 65 |e}.%.%  |  For re|
|000060b0| 66 65 72 65 6e 63 65 3a | 0a 25 20 5c 62 65 67 69 |ference:|.% \begi|
|000060c0| 6e 7b 76 65 72 62 61 74 | 69 6d 7d 0a 25 20 46 72 |n{verbat|im}.% Fr|
|000060d0| 6f 6d 3a 20 74 79 63 63 | 68 6f 77 40 6d 61 74 68 |om: tycc|how@math|
|000060e0| 2e 6d 69 74 2e 65 64 75 | 20 28 54 69 6d 6f 74 68 |.mit.edu| (Timoth|
|000060f0| 79 20 59 2e 20 43 68 6f | 77 29 0a 25 20 53 75 62 |y Y. Cho|w).% Sub|
|00006100| 6a 65 63 74 3a 20 53 75 | 70 70 72 65 73 73 69 6e |ject: Su|ppressin|
|00006110| 67 20 74 68 65 6f 72 65 | 6d 20 6e 75 6d 62 65 72 |g theore|m number|
|00006120| 69 6e 67 20 69 6e 20 4c | 61 54 65 58 0a 25 20 4d |ing in L|aTeX.% M|
|00006130| 65 73 73 61 67 65 2d 49 | 44 3a 20 3c 31 39 39 34 |essage-I|D: <1994|
|00006140| 41 75 67 31 31 2e 32 33 | 34 37 35 34 2e 32 32 35 |Aug11.23|4754.225|
|00006150| 32 33 40 67 61 6c 6f 69 | 73 2e 6d 69 74 2e 65 64 |23@galoi|s.mit.ed|
|00006160| 75 3e 0a 25 20 44 61 74 | 65 3a 20 54 68 75 2c 20 |u>.% Dat|e: Thu, |
|00006170| 31 31 20 41 75 67 20 39 | 34 20 32 33 3a 34 37 3a |11 Aug 9|4 23:47:|
|00006180| 35 34 20 47 4d 54 0a 25 | 20 54 6f 3a 20 74 65 78 |54 GMT.%| To: tex|
|00006190| 2d 6e 65 77 73 40 53 48 | 53 55 2e 45 44 55 0a 25 |-news@SH|SU.EDU.%|
|000061a0| 0a 25 20 41 20 66 72 69 | 65 6e 64 20 6f 66 20 6d |.% A fri|end of m|
|000061b0| 69 6e 65 20 77 61 6e 74 | 73 20 6e 75 6d 62 65 72 |ine want|s number|
|000061c0| 69 6e 67 20 6f 66 20 74 | 68 65 6f 72 65 6d 73 2c |ing of t|heorems,|
|000061d0| 20 63 6f 6e 6a 65 63 74 | 75 72 65 73 2c 20 61 6e | conject|ures, an|
|000061e0| 64 20 73 6f 20 6f 6e 0a | 25 20 73 75 70 70 72 65 |d so on.|% suppre|
|000061f0| 73 73 65 64 20 69 66 20 | 74 68 65 72 65 20 69 73 |ssed if |there is|
|00006200| 20 6f 6e 6c 79 20 6f 6e | 65 20 6f 66 20 74 68 65 | only on|e of the|
|00006210| 6d 20 69 6e 20 68 69 73 | 20 61 72 74 69 63 6c 65 |m in his| article|
|00006220| 2e 20 20 49 6e 20 6f 74 | 68 65 72 20 77 6f 72 64 |.  In ot|her word|
|00006230| 73 0a 25 20 68 65 20 77 | 61 6e 74 73 20 22 43 6f |s.% he w|ants "Co|
|00006240| 6e 6a 65 63 74 75 72 65 | 20 31 22 20 74 6f 20 61 |njecture| 1" to a|
|00006250| 70 70 65 61 72 20 61 73 | 20 73 69 6d 70 6c 79 20 |ppear as| simply |
|00006260| 22 43 6f 6e 6a 65 63 74 | 75 72 65 22 20 69 66 20 |"Conject|ure" if |
|00006270| 74 68 65 72 65 20 69 73 | 20 6e 6f 0a 25 20 43 6f |there is| no.% Co|
|00006280| 6e 6a 65 63 74 75 72 65 | 20 32 2e 20 20 57 68 61 |njecture| 2.  Wha|
|00006290| 74 20 69 73 20 74 68 65 | 20 62 65 73 74 20 77 61 |t is the| best wa|
|000062a0| 79 20 74 6f 20 67 6f 20 | 61 62 6f 75 74 20 64 6f |y to go |about do|
|000062b0| 69 6e 67 20 74 68 69 73 | 3f 0a 25 20 2e 2e 2e 0a |ing this|?.% ....|
|000062c0| 25 20 5c 65 6e 64 7b 76 | 65 72 62 61 74 69 6d 7d |% \end{v|erbatim}|
|000062d0| 0a 25 20 20 20 20 4d 61 | 79 62 65 20 73 6f 6d 65 |.%    Ma|ybe some|
|000062e0| 74 68 69 6e 67 20 63 6c | 65 76 65 72 20 63 61 6e |thing cl|ever can|
|000062f0| 20 62 65 20 64 6f 6e 65 | 20 74 6f 20 6d 61 6b 65 | be done| to make|
|00006300| 20 74 68 65 20 64 65 73 | 69 72 65 64 20 62 65 68 | the des|ired beh|
|00006310| 61 76 69 6f 72 0a 25 20 | 20 20 20 68 61 70 70 65 |avior.% |   happe|
|00006320| 6e 20 61 75 74 6f 6d 61 | 74 69 63 61 6c 6c 79 2e |n automa|tically.|
|00006330| 20 4e 6f 74 65 20 74 68 | 61 74 20 74 68 69 73 20 | Note th|at this |
|00006340| 77 6f 75 6c 64 20 73 65 | 65 6d 20 74 6f 20 62 65 |would se|em to be|
|00006350| 20 61 20 67 65 6e 65 72 | 61 6c 0a 25 20 20 20 20 | a gener|al.%    |
|00006360| 6e 75 6d 62 65 72 69 6e | 67 20 70 72 6f 62 6c 65 |numberin|g proble|
|00006370| 6d 20 72 61 74 68 65 72 | 20 74 68 61 6e 20 61 20 |m rather| than a |
|00006380| 74 68 65 6f 72 65 6d 2d | 73 70 65 63 69 66 69 63 |theorem-|specific|
|00006390| 20 6f 6e 65 2c 20 62 65 | 63 61 75 73 65 0a 25 20 | one, be|cause.% |
|000063a0| 20 20 20 73 69 6d 69 6c | 61 72 20 62 65 68 61 76 |   simil|ar behav|
|000063b0| 69 6f 72 20 77 6f 75 6c | 64 20 62 65 20 64 65 73 |ior woul|d be des|
|000063c0| 69 72 61 62 6c 65 20 66 | 6f 72 20 61 70 70 65 6e |irable f|or appen|
|000063d0| 64 69 78 65 73 3a 20 61 | 63 63 6f 72 64 69 6e 67 |dixes: a|ccording|
|000063e0| 20 74 6f 0a 25 20 20 20 | 20 73 74 61 6e 64 61 72 | to.%   | standar|
|000063f0| 64 20 70 75 62 6c 69 73 | 68 69 6e 67 20 70 72 61 |d publis|hing pra|
+--------+-------------------------+-------------------------+--------+--------+